Functor Prim.Make

module Make: 
functor (G : G) ->
functor (W : Sig.WEIGHT with type edge = G.E.t) -> sig .. end
Functor providing an implementation of Prim's minimum-spanning-tree algorithm. Parameter W ensures that label on edges are comparable.
Parameters:
G : G
W : Sig.WEIGHT with type edge = G.E.t

val spanningtree : Prim.G.t -> Prim.G.E.t list
val spanningtree_from : Prim.G.t -> G.V.t -> Prim.G.E.t list