Make (snarky.Snarky_backendless.Checked

Parameters

module Backend : Backend_extended.S

Signature

type 'f field = 'f

val constraint_logger : 
  ( ?at_label_boundary:([ `End | `Start ] * string) ->
    ( Backend.Field.t Cvar.t, Backend.Field.t ) Constraint.t option ->
    unit )
    option
    Core_kernel.ref

val set_constraint_logger : 
  ( ?at_label_boundary:([ `End | `Start ] * string) ->
    ( Backend.Field.t Cvar.t, Backend.Field.t ) Constraint.t option ->
    unit ) ->
  unit

val clear_constraint_logger : unit -> unit

module Checked_runner : sig ... end

type run_state = Checked_runner.run_state

type state = run_state

type ('a, 't) run = 't -> run_state -> run_state * 'a

include Checked_intf.Basic
  with module Types := Checked_runner.Types
  with type 'f field := 'f Checked_runner.field

type ('a, 'f) t = ( 'a, 'f ) Checked_runner.Types.Checked.t

include Monad_let.S2 with type ('a, 'f) t := ( 'a, 'f ) t

include Monad_let.S_without_syntax2 with type ('a, 'e) t := ( 'a, 'e ) t

include Core_kernel.Monad.Infix2 with type ('a, 'e) t := ( 'a, 'e ) t

val (>>=) : ( 'a, 'e ) t -> ( 'a -> ( 'b, 'e ) t ) -> ( 'b, 'e ) t

val (>>|) : ( 'a, 'e ) t -> ( 'a -> 'b ) -> ( 'b, 'e ) t

module Monad_infix : 
  Core_kernel.Monad.Infix2 with type ('a, 'e) t := ( 'a, 'e ) t

val bind : ( 'a, 'e ) t -> f:( 'a -> ( 'b, 'e ) t ) -> ( 'b, 'e ) t

val return : 'a -> ( 'a, _ ) t

val map : ( 'a, 'e ) t -> f:( 'a -> 'b ) -> ( 'b, 'e ) t

val join : ( ( 'a, 'e ) t, 'e ) t -> ( 'a, 'e ) t

val ignore_m : ( _, 'e ) t -> ( unit, 'e ) t

val all : ( 'a, 'e ) t list -> ( 'a list, 'e ) t

val all_unit : ( unit, 'e ) t list -> ( unit, 'e ) t

module Let_syntax : sig ... end

val add_constraint : 
  ( 'f Checked_runner.field Cvar.t, 'f Checked_runner.field ) Constraint.t ->
  ( unit, 'f Checked_runner.field ) t

val as_prover : 
  ( unit, 'f Checked_runner.field ) Checked_runner.Types.As_prover.t ->
  ( unit, 'f Checked_runner.field ) t

val mk_lazy : ( unit -> ( 'a, 'f ) t ) -> ( 'a Stdlib.Lazy.t, 'f ) t

val with_label : 
  string ->
  ( unit -> ( 'a, 'f Checked_runner.field ) t ) ->
  ( 'a, 'f Checked_runner.field ) t

val with_handler : 
  Request.Handler.single ->
  ( unit -> ( 'a, 'f Checked_runner.field ) t ) ->
  ( 'a, 'f Checked_runner.field ) t

val exists : 
  ( 'var, 'value, 'f Checked_runner.field ) Checked_runner.Types.Typ.t ->
  ( 'value, 'f Checked_runner.field ) Checked_runner.Types.Provider.t ->
  ( ( 'var, 'value ) Handle.t, 'f Checked_runner.field ) t

val next_auxiliary : unit -> ( int, 'f Checked_runner.field ) t

val direct : 
  ( 'f Checked_runner.field Run_state.t ->
    'f Checked_runner.field Run_state.t * 'a ) ->
  ( 'a, 'f Checked_runner.field ) t

val constraint_count : 
  ?weight:
    ( ( 'f Checked_runner.field Cvar.t, 'f Checked_runner.field ) Constraint.t ->
      int ) ->
  ?log:( ?start:bool -> string -> int -> unit ) ->
  ( unit -> ( 'a, 'f Checked_runner.field ) t ) ->
  int

include Run_extras
  with module Types := Checked_runner.Types
  with type field := Backend.Field.t
   and type cvar := Backend.Cvar.t

val get_value : 
  Backend.Field.t Run_state.t ->
  Backend.Cvar.t ->
  Backend.Field.t

val run_as_prover : 
  ( 'a, Backend.Field.t ) Checked_runner.Types.As_prover.t option ->
  Backend.Field.t Run_state.t ->
  Backend.Field.t Run_state.t * 'a option

module Types = Checked_ast.Types

val run : 
  ( 'a, 'b ) Simple.t ->
  'b Simple.field Run_state.t ->
  'b Simple.field Run_state.t * 'a

val dummy_vector : 'a Run_state.Vector.t

val fake_state : int Stdlib.ref -> string list -> 'a Run_state.t

module State : sig ... end