Make_extended.2-Checked
module Types : Types.Types
type ('a, 'f) t = ( 'a, 'f ) 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
val return : 'a -> ( 'a, _ ) t
module Let_syntax : sig ... end
val as_prover : ( unit, Env.field ) Types.As_prover.t -> ( unit, Env.field ) t
val request_witness :
( 'var, 'value, Env.field ) Types.Typ.t ->
( 'value Request.t, Env.field ) Types.As_prover.t ->
( 'var, Env.field ) t
val exists_handle :
?request:( 'value Request.t, Env.field ) Types.As_prover.t ->
?compute:( 'value, Env.field ) Types.As_prover.t ->
( 'var, 'value, Env.field ) Types.Typ.t ->
( ( 'var, 'value ) Handle.t, Env.field ) t
val exists :
?request:( 'value Request.t, Env.field ) Types.As_prover.t ->
?compute:( 'value, Env.field ) Types.As_prover.t ->
( 'var, 'value, Env.field ) Types.Typ.t ->
( 'var, Env.field ) t
type response = Request.response
val unhandled : response
type request = Request.request =
| With : {
} -> request |
val direct :
( Env.field Run_state.t -> Env.field Run_state.t * 'a ) ->
( 'a, Env.field ) t