From a028a84484f44cdcb7b5f62263feba03b4554190 Mon Sep 17 00:00:00 2001
From: Tamir Hemo <tamir@succinct.xyz>
Date: Mon, 11 Mar 2024 20:07:47 -0700
Subject: [PATCH] cleanup

---
 recursion/compiler/src/circuit/mod.rs | 5 +++++
 recursion/compiler/src/syn/mod.rs     | 4 ++++
 recursion/compiler/src/syn/ops.rs     | 4 ++++
 3 files changed, 13 insertions(+)

diff --git a/recursion/compiler/src/circuit/mod.rs b/recursion/compiler/src/circuit/mod.rs
index cdf5dd7d91..72a2a39d1d 100644
--- a/recursion/compiler/src/circuit/mod.rs
+++ b/recursion/compiler/src/circuit/mod.rs
@@ -1 +1,6 @@
 mod backend;
+
+pub trait CircuitBuilder {
+    type F;
+    type Var;
+}
diff --git a/recursion/compiler/src/syn/mod.rs b/recursion/compiler/src/syn/mod.rs
index 3a722e853a..4ca902e855 100644
--- a/recursion/compiler/src/syn/mod.rs
+++ b/recursion/compiler/src/syn/mod.rs
@@ -38,3 +38,7 @@ impl<T: BaseBuilder> Builder for T {}
 pub trait FieldBuilder<F: Field>: Builder {
     type Felt: FieldVariable<Self, F = F>;
 }
+
+pub trait IntBuilder: Builder {
+    type Int: AlgebraicVariable<Self>;
+}
diff --git a/recursion/compiler/src/syn/ops.rs b/recursion/compiler/src/syn/ops.rs
index 6da702589d..f2a4f1a790 100644
--- a/recursion/compiler/src/syn/ops.rs
+++ b/recursion/compiler/src/syn/ops.rs
@@ -73,3 +73,7 @@ pub trait LogicalVariable<B: BaseBuilder>:
         + BitXor<Output = Self>
         + Not<Output = Self>;
 }
+
+pub trait Eq<B: BaseBuilder, Other = Self> {
+    fn assert_eq(&self, other: Other);
+}