diff --git a/src/snarky.d.ts b/src/snarky.d.ts
index 105128214f..4873513a7c 100644
--- a/src/snarky.d.ts
+++ b/src/snarky.d.ts
@@ -178,20 +178,6 @@ declare const Snarky: {
    * APIs that have to do with running provable code
    */
   run: {
-    /**
-     * witness `sizeInFields` field element variables
-     *
-     * Note: this is called "exists" because in a proof, you use it like this:
-     * > "I prove that there exists x, such that (some statement)"
-     */
-    exists(
-      sizeInFields: number,
-      compute: () => MlArray<FieldConst>
-    ): MlArray<VarFieldVar>;
-    /**
-     * witness a single field element variable
-     */
-    existsOne(compute: () => FieldConst): VarFieldVar;
     /**
      * Checks whether Snarky runs in "prover mode", that is, with witnesses
      */