Module Graph.ChaoticIteration

type !'a widening_set =
  1. | FromWto
  2. | Predicate of 'a -> bool
module type G = sig ... end
module type Data = sig ... end
module Make (G : G) (D : sig ... end) : sig ... end