Module Snarky_backendless.Run_state
val make :
num_inputs:int ->
input:'field Vector.t ->
next_auxiliary:int Stdlib.ref ->
aux:'field Vector.t ->
?system:'field Constraint_system.t ->
eval_constraints:bool ->
?log_constraint:
( ?at_label_boundary:([ `End | `Start ] * string) ->
( 'field Cvar.t, 'field ) Constraint.t option ->
unit ) ->
?handler:Request.Handler.t ->
with_witness:bool ->
?stack:string list ->
?is_running:bool ->
unit ->
'field t
val get_variable_value : 'field t -> int -> 'field
val store_field_elt : 'field t -> 'field -> 'field Cvar.t
val alloc_var : 'field t -> unit -> 'field Cvar.t
val has_witness : _ t -> bool
val as_prover : _ t -> bool
val set_as_prover : _ t -> bool -> unit
val stack : _ t -> string list
val set_stack : 'field t -> string list -> 'field t
val log_constraint :
'field t ->
( ?at_label_boundary:([ `Start | `End ] * string) ->
( 'field Cvar.t, 'field ) Constraint.t option ->
unit )
option
val eval_constraints : 'field t -> bool
val is_running : _ t -> bool
val set_is_running : 'f t -> bool -> 'f t
val next_auxiliary : _ t -> int