Graph.Merge
module type S = sig ... end
module B (X : sig ... end) : sig ... end
module P (G : sig ... end) : sig ... end
module I (G : sig ... end) : sig ... end