Graph.Classic
module type S = sig ... end
module P (G : sig ... end) : sig ... end
module I (G : sig ... end) : sig ... end