From a569d10a159292c2dbc39a17ac6e33eef0c16918 Mon Sep 17 00:00:00 2001
From: Adam A <adam@hack.bg>
Date: Thu, 26 Feb 2026 08:58:11 +0000
Subject: [PATCH] Add TemplateProgram::witness_types

These are already available on the internal `ast`, and there is some
utility in being able to inspect both parameter and witness names/types
even before parameters are provided.
---
 src/lib.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/lib.rs b/src/lib.rs
index a9e5bc0e..0b5933a4 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -71,6 +71,11 @@ impl TemplateProgram {
         self.simfony.parameters()
     }
 
+    /// Access the witness types of the program.
+    pub fn witness_types(&self) -> &WitnessTypes {
+        self.simfony.witness_types()
+    }
+
     /// Instantiate the template program with the given `arguments`.
     ///
     /// ## Errors