diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-08-10 11:14:04 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-08-10 11:14:04 +0800 |
| commit | b8a2d05a3c0d835556d5ddbd44e4a1e201302af5 (patch) | |
| tree | 72e833f41b9a8ffd9d3e7216d2f158504343a420 /grammar | |
| parent | f14c8a2aeab18a9bfa380df28f94736580e08f48 (diff) | |
Move the trait `Forest` to the crate "forest".
The purpose of this change is to share this trait with other crates,
such as the forth-coming "semiring" crate that will be responsible for
handling some simple semiring operations as well as the querying, in
my plans.
Diffstat (limited to 'grammar')
0 files changed, 0 insertions, 0 deletions