State (snarky.Snarky_backendless.Checked

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