Make_checked (snarky.Snarky_backendless.Checked_runner.Make

Parameters

module Backend : Backend_extended.S

module As_prover : As_prover.S with type 'f field := Backend.Field.t

Signature

type run_state = Backend.Field.t Run_state.t

module Types : sig ... end

type 'f field = Backend.Field.t

include module type of struct include Types.Checked end

type ('a, 'f) t = ( 'a, Backend.Field.t ) Simple.Types.Checked.t

val eval : ( 'a, 'f ) t -> run_state -> run_state * 'a0

val (>>=) : 
  ( 'a, Backend.Field.t ) Simple.Types.Checked.t ->
  ( 'a0 -> ( 'b, Backend.Field.t ) Simple.Types.Checked.t ) ->
  ( 'b0, Backend.Field.t ) Simple.Types.Checked.t

val (>>|) : 
  ( 'a, Backend.Field.t ) Simple.Types.Checked.t ->
  ( 'a0 -> 'b ) ->
  ( 'b0, Backend.Field.t ) Simple.Types.Checked.t

module Monad_infix : sig ... end

val bind : 
  ( 'a, Backend.Field.t ) Simple.Types.Checked.t ->
  f:( 'a0 -> ( 'b, Backend.Field.t ) Simple.Types.Checked.t ) ->
  ( 'b0, Backend.Field.t ) Simple.Types.Checked.t

val return : 'a -> ( 'a0, Backend.Field.t ) Simple.Types.Checked.t

val map : 
  ( 'a, Backend.Field.t ) Simple.Types.Checked.t ->
  f:( 'a0 -> 'b ) ->
  ( 'b0, Backend.Field.t ) Simple.Types.Checked.t

val join : 
  ( ( 'a, Backend.Field.t ) Simple.Types.Checked.t, Backend.Field.t )
    Simple.Types.Checked.t ->
  ( 'a0, Backend.Field.t ) Simple.Types.Checked.t

val ignore_m : 
  ( 'a, Backend.Field.t ) Simple.Types.Checked.t ->
  ( unit, Backend.Field.t ) Simple.Types.Checked.t

val all : 
  ( 'a, Backend.Field.t ) Simple.Types.Checked.t list ->
  ( 'a0 list, Backend.Field.t ) Simple.Types.Checked.t

val all_unit : 
  ( unit, Backend.Field.t ) Simple.Types.Checked.t list ->
  ( unit, Backend.Field.t ) Simple.Types.Checked.t

module Let_syntax : sig ... end

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

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

val as_prover : 
  ( unit, Backend.Field.t ) As_prover.t ->
  ( unit, Backend.Field.t ) Simple.t

val mk_lazy : 
  ( unit -> ( 'a, 'b ) Simple.t ) ->
  ( 'c Core_kernel.Lazy.t, 'b Simple.field ) Simple.t

val with_label : 
  string ->
  ( unit -> ( 'a, 'b ) Simple.t ) ->
  ( 'c, 'b Simple.field ) Simple.t

val log_constraint : 
  ( Backend.Cvar.t, Backend.Field.t ) Constraint.basic_with_annotation ->
  Backend.Field.t Run_state.t ->
  string

val add_constraint : 
  ( Backend.Field.t Simple.field Cvar.t, Backend.Field.t Simple.field )
    Constraint.t ->
  ( unit, Backend.Field.t ) Simple.t

val with_handler : 
  Request.Handler.single ->
  ( unit -> ( 'a, 'b ) Simple.t ) ->
  ( 'c, 'b Simple.field ) Simple.t

val exists : 
  ( 'a,
    'b,
    Backend.Field.t Simple.field,
    ( unit, Backend.Field.t Simple.field Simple.field ) Simple.t )
    Checked_ast.Types.Typ.typ ->
  ( 'c, Backend.Field.t ) As_prover.Provider.t ->
  ( ( 'd, 'e ) Handle.t, Backend.Field.t ) Simple.t

val next_auxiliary : unit -> ( int, 'a ) Simple.t

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

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