Make_extended.3-As_prover
include As_prover_intf.Basic
with type ('a, 'f) t = ( 'a, 'f ) Checked.Types.As_prover.t
and type ('a, 'f) Provider.t = ( 'a, 'f ) Checked.Types.Provider.t
with type 'f field := Env.field
type ('a, 'f) t = ( 'a, 'f ) Checked.Types.As_prover.t
include Monad_let.S2 with type ('a, 'f) t := ( 'a, Env.field ) t
include Monad_let.S_without_syntax2 with type ('a, 'e) t := ( 'a, Env.field ) t
module Monad_infix :
Core_kernel.Monad.Infix2 with type ('a, 'e) t := ( 'a, Env.field ) t
module Let_syntax : sig ... end
val read :
( 'var, 'value, Env.field, _ ) Types.Typ.t ->
'var ->
( 'value, Env.field ) t
module Provider : sig ... end
module Handle : sig ... end
module Ref : sig ... end