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
functor (
G
:
) ->
W
Sig.ORDERED_TYPE
with type t=G.E.label
UF
UNIONFIND
with type elt=G.V.t
sig
end
Sig.ORDERED_TYPE with type t=G.E.label
UNIONFIND with type elt=G.V.t
val spanningtree : Kruskal.G.t -> Kruskal.G.E.t list
Kruskal.G.t -> Kruskal.G.E.t list