As_prover (snarky.Snarky_backendless.As_prover.Make.2-As

include Monad_let.S2
  with type ('a, 'f) t := ( 'a, 'f Checked.field ) Checked.Types.As_prover.t

include Monad_let.S_without_syntax2
  with type ('a, 'e) t := ( 'a, 'e Checked.field ) Checked.Types.As_prover.t

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

val (>>=) : 
  ( 'a, 'e Checked.field ) Checked.Types.As_prover.t ->
  ( 'a -> ( 'b, 'e Checked.field ) Checked.Types.As_prover.t ) ->
  ( 'b, 'e Checked.field ) Checked.Types.As_prover.t

val (>>|) : 
  ( 'a, 'e Checked.field ) Checked.Types.As_prover.t ->
  ( 'a -> 'b ) ->
  ( 'b, 'e Checked.field ) Checked.Types.As_prover.t

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

val bind : 
  ( 'a, 'e Checked.field ) Checked.Types.As_prover.t ->
  f:( 'a -> ( 'b, 'e Checked.field ) Checked.Types.As_prover.t ) ->
  ( 'b, 'e Checked.field ) Checked.Types.As_prover.t

val return : 'a -> ( 'a, _ Checked.field ) Checked.Types.As_prover.t

val map : 
  ( 'a, 'e Checked.field ) Checked.Types.As_prover.t ->
  f:( 'a -> 'b ) ->
  ( 'b, 'e Checked.field ) Checked.Types.As_prover.t

val join : 
  ( ( 'a, 'e Checked.field ) Checked.Types.As_prover.t, 'e Checked.field )
    Checked.Types.As_prover.t ->
  ( 'a, 'e Checked.field ) Checked.Types.As_prover.t

val ignore_m : 
  ( _, 'e Checked.field ) Checked.Types.As_prover.t ->
  ( unit, 'e Checked.field ) Checked.Types.As_prover.t

val all : 
  ( 'a, 'e Checked.field ) Checked.Types.As_prover.t list ->
  ( 'a list, 'e Checked.field ) Checked.Types.As_prover.t

val all_unit : 
  ( unit, 'e Checked.field ) Checked.Types.As_prover.t list ->
  ( unit, 'e Checked.field ) Checked.Types.As_prover.t

module Let_syntax : sig ... end

val run : 
  ( 'a, 'f Checked.field ) Checked.Types.As_prover.t ->
  ( 'f Checked.field Cvar.t -> 'f Checked.field ) ->
  'a

val map2 : 
  ( 'a, 'f Checked.field ) Checked.Types.As_prover.t ->
  ( 'b, 'f Checked.field ) Checked.Types.As_prover.t ->
  f:( 'a -> 'b -> 'c ) ->
  ( 'c, 'f Checked.field ) Checked.Types.As_prover.t

val read_var : 
  'f Checked.field Cvar.t ->
  ( 'f Checked.field, 'f Checked.field ) Checked.Types.As_prover.t

val read : 
  ( 'var, 'value, 'f Checked.field, _ ) Types.Typ.t ->
  'var ->
  ( 'value, 'f Checked.field ) Checked.Types.As_prover.t

module Provider : sig ... end

module Handle : sig ... end