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.