fix(bool.ts): update bool module

o1-labs · Jun 7, 2023 · a7dd4e9 · a7dd4e9
1 parent 1dbef9b
commit a7dd4e9
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/src/lib/bool.ts b/src/lib/bool.ts
@@ -58,14 +58,15 @@ class Bool {
     if (this.isConstant() && isConstant(y)) {
       return new Bool(this.toBoolean() && toBoolean(y));
     }
-    return new Bool(Snarky.bool.and_(this.value, Bool.#toVar(y)));
+    console.log('and_', Snarky.field, Snarky.bool);
+    return new Bool(Snarky.bool.and(this.value, Bool.#toVar(y)));
   }
 
   or(y: Bool | boolean): Bool {
     if (this.isConstant() && isConstant(y)) {
       return new Bool(this.toBoolean() || toBoolean(y));
     }
-    return new Bool(Snarky.bool.or_(this.value, Bool.#toVar(y)));
+    return new Bool(Snarky.bool.or(this.value, Bool.#toVar(y)));
   }
 
   assertEquals(y: Bool | boolean, message?: string): void {

diff --git a/src/snarky.d.ts b/src/snarky.d.ts
@@ -179,9 +179,9 @@ declare const Snarky: {
   bool: {
     not(x: BoolVar): BoolVar;
 
-    and_(x: BoolVar, y: BoolVar): BoolVar;
+    and(x: BoolVar, y: BoolVar): BoolVar;
 
-    or_(x: BoolVar, y: BoolVar): BoolVar;
+    or(x: BoolVar, y: BoolVar): BoolVar;
 
     equals(x: BoolVar, y: BoolVar): BoolVar;