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.
rust-lang/ena
GitHub
rust-lang-nursery/ena
GitHub