Graph.Minsep
module type G = sig ... end
module type MINSEP = sig ... end
module P : functor (G : sig ... end) -> sig ... end
module I : functor (G : sig ... end) -> sig ... end