Graph.Coloring
module type G = sig ... end
module Make : functor (G : G) -> sig ... end
module type GM = sig ... end
module Mark : functor (G : GM) -> sig ... end