Graph.ChaoticIteration
type 'a widening_set =
| FromWto
| Predicate of 'a -> bool
module type G = sig ... end
module type Data = sig ... end
module Make : functor (G : G) -> functor (D : sig ... end) -> sig ... end