trs-0.1.0
- trs 0.1.0
- Permalink
- Docs.rs crate page
- MIT/Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- timothee-haudebourg
- Dependencies
- terms ^0.1.1 normal
- Versions
- 66.67% of the crate is documented
Platform
Feature flags

docs.rs

Rust

trs0.1.0

All Items

Crate Items

Type Aliases

Crate trs

Type Aliases§

Rule: Rewriting rule.
TRS: Term rewriting system.