WTOFixpoint.IterativeStrategy
val fixpoint_component :
'a ->
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.component list ->
L.t CLPairMap.t * L.t CLMap.t