From 6666f23e6b8a54e402f2aaf9e64f658f3d7fae29 Mon Sep 17 00:00:00 2001 From: Bryan Newbold Date: Sat, 13 Nov 2021 16:02:14 -0800 Subject: initial work on term rewrite rule parsing --- src/lib.rs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/lib.rs') 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 = std::result::Result; -- cgit v1.2.3