Module union_find 

Union-Find (disjoint set) with path compression and union by rank.

Shared by the kernel’s congruence closure (logicaffeine_kernel::cc) and the compiler’s equality-saturation e-graph — one equivalence engine underneath both the proof system and the optimizer.

Structs

UnionFind

Union-Find over usize element ids.