From 59173aaa70a9850599e6880b1548c898d4f02c12 Mon Sep 17 00:00:00 2001
From: imaqtkatt <eduarda.so@proton.me>
Date: Thu, 4 Apr 2024 16:18:21 -0300
Subject: [PATCH] Expose normal_from and is_full_node

---
 src/run/net.rs  | 2 +-
 src/run/port.rs | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/run/net.rs b/src/run/net.rs
index a81dc3d6..608eabbd 100644
--- 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
index d0f2eac5..83d58b19 100644
--- 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
   }
 }