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.
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.