ena (cargo): Union-find, congruence closure, and other unification code. Based on code from rustc.
Keywords: unification|union-find