Module 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