2 releases

✓ Uses Rust 2018 edition

0.1.1 Aug 26, 2019
0.1.0 Aug 26, 2019

#350 in Data structures


Used in 3 crates

MIT/Apache

28KB
754 lines

Tree terms and patterns

Documentation Crate informations Repository

Provides tree terms and patterns intended to be used with Terms Rewriting Systems (with the term-rewriting crate) and Tree Automata (with the tree-automata crate).

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

Dependencies

~390KB