UnionFind
module Functional : sig ... end
Functional Union Find structures. These are immutable and can grow or shrink (add/remove equalities). Represented with PatriciaTree (binary tree maps) and eager compression.
module Imperative : sig ... end
Imperative Union Find structures. These are mutable and can only grow (i.e. add new equalities), using union by size and lazy path compression.
module Parameters : sig ... end
Common module types for Imperative
and Functional
parameters. Defines the types of the functor parameters.