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

Linked projects

Linked projects are projects that are related to this project. For example, a package may have a corresponding documentation project, or a library may have a corresponding framework project.