State (snarky.Snarky_backendless.Checked

val make : 
  num_inputs:int ->
  input:field Run_state.Vector.t ->
  next_auxiliary:int Core_kernel.ref ->
  aux:field Run_state.Vector.t ->
  ?system:r1cs ->
  ?eval_constraints:bool ->
  ?handler:Request.Handler.t ->
  with_witness:bool ->
  ?log_constraint:
    ( ?at_label_boundary:([ `End | `Start ] * string) ->
      ( field Cvar.t, field ) Constraint.t option ->
      unit ) ->
  unit ->
  field Run_state.t