Graph.Prim
module type G = sig ... end
module Make : functor (G : G) -> functor (W : sig ... end) -> sig ... end