module Generic:
Functor providing an implementation of Kruskal's minimum-spanning-tree
algorithm using a user-defined union-find algorithm.
Parameter W
ensures that label on edges are comparable.
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