terms 0.1.2

Tree terms and patterns data structures
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

# Tree terms and patterns

<table><tr>
  <td><a href="https://docs.rs/terms">Documentation</a></td>
  <td><a href="https://crates.io/crates/terms">Crate informations</a></td>
  <td><a href="https://github.com/regular-pv/terms">Repository</a></td>
</tr></table>

Provides tree terms and patterns intended to be used with
Terms Rewriting Systems
(with the [term-rewriting crate](https://crates.io/crates/term-rewriting))
and Tree Automata
(with the [tree-automata crate](https://crates.io/crates/tree-automata)).

## License

Licensed under either of

 * Apache License, Version 2.0 ([LICENSE-APACHE](LICENSE-APACHE) or http://www.apache.org/licenses/LICENSE-2.0)
 * MIT license ([LICENSE-MIT](LICENSE-MIT) or http://opensource.org/licenses/MIT)

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.