initial work on term rewrite rule parsingHEADmaster

1 files changed, 2 insertions, 0 deletions

diff --git a/src/lib.rs b/src/lib.rs
index 4137840..609dc79 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -2,9 +2,11 @@ use std::io;
 use std::io::Write;
 
 mod cexpr;
+mod rewrite;
 mod sexpr;
 
 pub use cexpr::{CExpr, CNumber};
+pub use rewrite::Rule;
 pub use sexpr::{sexpr_parse_file, SExpr};
 
 pub type Result<T, E = String> = std::result::Result<T, E>;