diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-01-28 10:17:24 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-01-28 10:22:57 +0800 |
| commit | f28155105134b90fd86049c65478d307e0d8dbbc (patch) | |
| tree | 72b3b4872d5dba89413eca70bcaae9e421def7ee /graph/src/labelled/mod.rs | |
| parent | e8ea01319b3a9032a3f4f69f65e9ca96562b87b9 (diff) | |
a prototype of an item derivation forest
It seems to be complete now, but still awaits more tests to see where
the errors are, which should be plenty, haha.
Diffstat (limited to 'graph/src/labelled/mod.rs')
| -rw-r--r-- | graph/src/labelled/mod.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/graph/src/labelled/mod.rs b/graph/src/labelled/mod.rs index 2bbc7ec..fb7b405 100644 --- a/graph/src/labelled/mod.rs +++ b/graph/src/labelled/mod.rs @@ -17,5 +17,3 @@ pub use double::{DLGBuilder, DLGraph}; pub mod binary; pub use binary::{PLGBuilderMut, PLGraph}; - -// pub use binary::BLGraph; |