Module Prim.Make
Functor providing an implementation of Prim's minimum-spanning-tree algorithm. Parameter W
ensures that label on edges are comparable.
Prim.Make
Functor providing an implementation of Prim's minimum-spanning-tree algorithm. Parameter W
ensures that label on edges are comparable.