From 62cfbb77d4d153cdcc61b0f8c063a358dfcbbc29 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Mon, 27 Apr 2026 15:16:06 +0100
Subject: basic signature functionality, missing extension signatures

---
 src/checker_state.rs | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/checker_state.rs')

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)
+    }
 }
-- 
cgit v1.3.1