Module Union_FindSource

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

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

module Signatures : sig ... end