Make.2-As_prover
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
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