ena 0.13.1

Union-find, congruence closure, and other unification code. Based on code from rustc.
Documentation