As_prover (snarky.Snarky_backendless.Checked_runner.Make_checked.2-As

module Types : Types.Types

include As_prover_intf.Basic
  with type ('a, 'f) t = ( 'a, 'f ) Types.As_prover.t
   and type ('a, 'f) Provider.t = ( 'a, 'f ) Types.Provider.t
  with type 'f field := Backend.Field.t

type ('a, 'f) t = ( 'a, 'f ) Types.As_prover.t

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

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

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

val (>>=) : 
  ( 'a, Backend.Field.t ) t ->
  ( 'a -> ( 'b, Backend.Field.t ) t ) ->
  ( 'b, Backend.Field.t ) t

val (>>|) : 
  ( 'a, Backend.Field.t ) t ->
  ( 'a -> 'b ) ->
  ( 'b, Backend.Field.t ) t

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

val bind : 
  ( 'a, Backend.Field.t ) t ->
  f:( 'a -> ( 'b, Backend.Field.t ) t ) ->
  ( 'b, Backend.Field.t ) t

val return : 'a -> ( 'a, Backend.Field.t ) t

val map : 
  ( 'a, Backend.Field.t ) t ->
  f:( 'a -> 'b ) ->
  ( 'b, Backend.Field.t ) t

val join : 
  ( ( 'a, Backend.Field.t ) t, Backend.Field.t ) t ->
  ( 'a, Backend.Field.t ) t

val ignore_m : ( _, Backend.Field.t ) t -> ( unit, Backend.Field.t ) t

val all : ( 'a, Backend.Field.t ) t list -> ( 'a list, Backend.Field.t ) t

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

module Let_syntax : sig ... end

val run : 
  ( 'a, Backend.Field.t ) t ->
  ( Backend.Field.t Cvar.t -> Backend.Field.t ) ->
  'a

val map2 : 
  ( 'a, Backend.Field.t ) t ->
  ( 'b, Backend.Field.t ) t ->
  f:( 'a -> 'b -> 'c ) ->
  ( 'c, Backend.Field.t ) t

val read_var : Backend.Field.t Cvar.t -> ( Backend.Field.t, Backend.Field.t ) t

val read : 
  ( 'var, 'value, Backend.Field.t, _ ) Types.Typ.t ->
  'var ->
  ( 'value, Backend.Field.t ) t

module Provider : sig ... end

module Handle : sig ... end

module Ref : sig ... end