basic signature functionality, missing extension signatures

1 files changed, 6 insertions, 0 deletions

diff --git a/src/checker_state.rs b/src/checker_state.rs
index 8ec153d..31c3bde 100644
--- a/src/checker_state.rs
+++ b/src/checker_state.rs
@@ -343,4 +343,10 @@ impl CheckerState {
 
         Ok(())
     }
+
+    pub fn lookup_signature(&self, name: &String) -> Result<&Signature, CheckerError> {
+        self.wf_signatures
+            .get(name)
+            .map_or(Err(CheckerError::Unbound(name.clone())), Ok)
+    }
 }