{"library":"ena","type":"library","category":null,"description":"Union-find, congruence closure, and other unification algorithms, based on code from rustc.","language":"rust","status":"active","version":"0.14.4","tags":["unification","union-find","algorithm","rustc"],"last_verified":"Tue Jun 16","install":[{"cmd":"# Cargo.toml\n[dependencies]\nena = \"0.14.4\"","imports":["use ena::unify::UnificationTable;"]},{"cmd":"cargo add ena","imports":[]}],"homepage":"https://github.com/rust-lang/ena","github":"https://github.com/rust-lang/ena","docs":"https://docs.rs/ena/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}