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