An implementation of union-find and (optionally)
congruence-closure. See the
cc modules for more
details. Note that congruence-closure requires you to opt-in to
the feature "congruence-closure".
A utility class for implementing "snapshottable" things; a snapshottable data structure permits
you to take a snapshot (via
Union-find implementation. The main type is