module Kruskal: sig end
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