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