WTOFixpoint.RecursiveStrategy
val fixpoint_component :
int ->
L.t CLMap.t ->
(L.t CLPairMap.t * L.t CLMap.t) ->
CLMap.key Wto.component ->
L.t CLPairMap.t * L.t CLMap.t
val fixpoint_partition :
L.t CLMap.t ->
(L.t CLPairMap.t * L.t CLMap.t) ->
CLMap.key Wto.partition ->
L.t CLPairMap.t * L.t CLMap.t