Module Prim

module Prim: sig .. end

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

module type WEIGHT = sig .. end

module type G = sig .. end

module Make: functor (G : G) -> functor (W : WEIGHT  with type label = G.E.label) -> sig .. end

Functor providing an implementation of Prim's minimum-spanning-tree algorithm.