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