Expose normal_from and is_full_node (#116)

HigherOrderCO · Apr 9, 2024 · 54cf65f · 54cf65f
1 parent f13f24c
commit 54cf65f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/run/net.rs b/src/run/net.rs
@@ -60,7 +60,7 @@ impl<'a, M: Mode> Net<'a, M> {
 
   // Lazy mode weak head normalizer
   #[inline(always)]
-  fn weak_normal(&mut self, mut prev: Port, root: Wire) -> Port {
+  pub fn weak_normal(&mut self, mut prev: Port, root: Wire) -> Port {
     assert!(M::LAZY);
 
     let mut path: Vec<Port> = vec![];

diff --git a/src/run/port.rs b/src/run/port.rs
@@ -208,7 +208,7 @@ impl Port {
     Port::new(Var, 0, self.addr())
   }
 
-  pub(super) fn is_full_node(&self) -> bool {
+  pub fn is_full_node(&self) -> bool {
     self.tag() > Num
   }
 }