Graph.Kruskal
module type G = sig ... end
module Make : functor (G : G) -> functor (W : sig ... end) -> sig ... end
module type UNIONFIND = sig ... end
module Generic : functor (G : G) -> functor (W : sig ... end) -> functor (UF : sig ... end) -> sig ... end