Functor Kruskal.Generic


module Generic: 
functor (G : G) ->
functor (W : Sig.ORDERED_TYPE with type t=G.E.label) ->
functor (UF : UNIONFIND with type elt=G.V.t) -> sig .. end
Parameters:
G : G
W : Sig.ORDERED_TYPE with type t=G.E.label
UF : UNIONFIND with type elt=G.V.t

val spanningtree : Kruskal.G.t -> Kruskal.G.E.t list