module Kruskal: sig
.. end
Kruskal's minimum-spanning-tree algorithm.
module type G = sig
.. end
Minimal graph signature for Kruskal.
module Make:
Functor providing an implementation of Kruskal's minimum-spanning-tree
algorithm.
Generic version where union-find implementation is provided
module type UNIONFIND = sig
.. end
Signature of union-find.
module Generic:
Functor providing an implementation of Kruskal's minimum-spanning-tree
algorithm using a user-defined union-find algorithm.