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