Union-find, congruence closure, and other unification code
Description
Union-find, congruence closure, and other unification code. Based on code from
rustc.
This package contains library source intended for building other packages
which use "bench" feature of "ena" crate.