Module UnionFind.Functional

Functional Union Find structures. These are immutable and can grow or shrink (add/remove equalities). Represented with PatriciaTree (binary tree maps) and eager compression.

However, their performance isn't as good as imperative union-find's:

Functional union find