An implementation of union-find / congruence-closure in Rust. Extracted from rustc for indepdendent experimentation.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool