An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation. - View it on GitHub
Star
0
Rank
11402458