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 the "default" feature of the "ena" crate.