From 49731c54e2df851c12fa2d69d6d3d65867cd25d7 Mon Sep 17 00:00:00 2001
From: Kerry Wang <kerrywang369@gmail.com>
Date: Fri, 1 Dec 2023 20:21:04 -0700
Subject: [PATCH] Added inaccessible exports

---
 src/subset/helpers.rs | 7 +++++++
 src/v17/ast.rs        | 3 +++
 2 files changed, 10 insertions(+)

diff --git a/src/subset/helpers.rs b/src/subset/helpers.rs
index e4072ae3..fb4deba4 100644
--- a/src/subset/helpers.rs
+++ b/src/subset/helpers.rs
@@ -211,6 +211,13 @@ impl Expr {
         Expr::Unop(Unop::Not, Rc::new(exp.into()))
     }
 
+    pub fn new_logical_not<E>(exp: E) -> Expr
+    where
+        E: Into<Expr>,
+    {
+        Expr::Unop(Unop::LogNot, Rc::new(exp.into()))
+    }
+
     pub fn new_slice<H, L>(var: &str, hi: H, lo: L) -> Expr
     where
         H: Into<Expr>,
diff --git a/src/v17/ast.rs b/src/v17/ast.rs
index 340f63a3..9ececdd9 100644
--- a/src/v17/ast.rs
+++ b/src/v17/ast.rs
@@ -16,6 +16,9 @@ pub type Stmt = subset::ast::GenericStmt<Decl, Parallel>;
 pub type Port = subset::ast::GenericPort<Decl>;
 pub type Module = subset::ast::GenericModule<Decl, Parallel>;
 pub type ExprConcat = subset::ast::ExprConcat;
+pub type Unop = subset::ast::Unop;
+pub type Binop = subset::ast::Binop;
+pub type Terop = subset::ast::Terop;
 
 #[derive(Clone, Debug)]
 pub enum Ty {