ocamlformat

o1-labs · Feb 28, 2024 · 4f7006f · 4f7006f
1 parent 346ca07
commit 4f7006f
Showing 1 changed file with 7 additions and 4 deletions.
diff --git a/src/base/snark_intf.ml b/src/base/snark_intf.ml
@@ -1381,9 +1381,9 @@ module type Run_basic = sig
     -> Proof_inputs.t
 
   type ('input_var, 'return_var, 'result) manual_callbacks =
-      { run_circuit : 'a. ('input_var -> unit -> 'a) -> 'a
-      ; finish_computation : 'return_var -> 'result
-      }
+    { run_circuit : 'a. ('input_var -> unit -> 'a) -> 'a
+    ; finish_computation : 'return_var -> 'result
+    }
 
   (** Callback version of [constraint_system]. *)
   val constraint_system_manual :
@@ -1397,7 +1397,10 @@ module type Run_basic = sig
     -> input_typ:('input_var, 'input_value) Typ.t
     -> return_typ:('return_var, 'return_value) Typ.t
     -> 'input_value
-    -> ('input_var, 'return_var, Proof_inputs.t * 'return_value) manual_callbacks
+    -> ( 'input_var
+       , 'return_var
+       , Proof_inputs.t * 'return_value )
+       manual_callbacks
 
   (** Generate the public input vector for a given statement. *)
   val generate_public_input :