unifier_set-0.2.0
- unifier_set 0.2.0
- Permalink
- Docs.rs crate page
- AGPL-3.0-or-later
- Links
- Repository
- crates.io
- Source
- Owners
- eignnx
- Dependencies
- rpds ^0.12.0 normal
  
  dot_graph ^0.2.3 dev
- Versions
- 21.05% of the crate is documented
Platform
Feature flags

docs.rs

Rust

unifier_set0.2.0

All Items

Crate Items

Structs
Enums
Traits

Crate unifier_set

Structs§

UnifierSet

Enums§

TermKind

Traits§

ClassifyTerm
DirectChildren