Kruskal.Generic
module G : G
module W : sig ... end
module UF : sig ... end
val spanningtree : G.t -> G.E.t list