Module Graph.PrimSource

Sourcemodule type G = sig ... end
Sourcemodule Make (G : G) (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.