Module 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