Module Unionfind

An imperative implementation of partitions via Union-Find

module type PartitionSig = sig ... end
module type SetS = sig ... end

Minimal interface for sets, subtype of stdlib's Set.

module type MapS = sig ... end

Minimal interface for maps, subtype of stdlib's Map.

module Make : functor (S : SetS) -> functor (M : MapS with type key = S.elt) -> PartitionSig with type elt = S.elt and type set = S.t