cleanup

succinctlabs · Mar 12, 2024 · a028a84 · a028a84
1 parent 43c3d50
commit a028a84
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 0 deletions.
diff --git 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
@@ -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
@@ -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);
+}