Module Kruskal

module Kruskal: sig  end

Kruskal's algorithm

module type G = sig  end

Minimal graph signature for Kruskal

module Make: functor (G : G) -> functor (W : sig  end) -> sig  end

Generic version where union-find implementation is provided

module type UNIONFIND = sig  end

module Generic: functor (G : G) ->
         functor (W : sig  end) -> functor (UF : sig  end) -> sig  end