Make_checked.2-As_prover
module Types : Types.Types
include As_prover_intf.Basic
with type ('a, 'f) t = ( 'a, 'f ) Types.As_prover.t
and type ('a, 'f) Provider.t = ( 'a, 'f ) Types.Provider.t
with type 'f field := Backend.Field.t
type ('a, 'f) t = ( 'a, 'f ) Types.As_prover.t
include Monad_let.S2 with type ('a, 'f) t := ( 'a, Backend.Field.t ) t
include Monad_let.S_without_syntax2
with type ('a, 'e) t := ( 'a, Backend.Field.t ) t
include Core_kernel.Monad.Infix2
with type ('a, 'e) t := ( 'a, Backend.Field.t ) t
val (>>=) :
( 'a, Backend.Field.t ) t ->
( 'a -> ( 'b, Backend.Field.t ) t ) ->
( 'b, Backend.Field.t ) t
val (>>|) :
( 'a, Backend.Field.t ) t ->
( 'a -> 'b ) ->
( 'b, Backend.Field.t ) t
module Monad_infix :
Core_kernel.Monad.Infix2 with type ('a, 'e) t := ( 'a, Backend.Field.t ) t
val bind :
( 'a, Backend.Field.t ) t ->
f:( 'a -> ( 'b, Backend.Field.t ) t ) ->
( 'b, Backend.Field.t ) t
val return : 'a -> ( 'a, Backend.Field.t ) t
val map :
( 'a, Backend.Field.t ) t ->
f:( 'a -> 'b ) ->
( 'b, Backend.Field.t ) t
val join :
( ( 'a, Backend.Field.t ) t, Backend.Field.t ) t ->
( 'a, Backend.Field.t ) t
val ignore_m : ( _, Backend.Field.t ) t -> ( unit, Backend.Field.t ) t
val all : ( 'a, Backend.Field.t ) t list -> ( 'a list, Backend.Field.t ) t
val all_unit : ( unit, Backend.Field.t ) t list -> ( unit, Backend.Field.t ) t
module Let_syntax : sig ... end
val run :
( 'a, Backend.Field.t ) t ->
( Backend.Field.t Cvar.t -> Backend.Field.t ) ->
'a
val map2 :
( 'a, Backend.Field.t ) t ->
( 'b, Backend.Field.t ) t ->
f:( 'a -> 'b -> 'c ) ->
( 'c, Backend.Field.t ) t
val read_var : Backend.Field.t Cvar.t -> ( Backend.Field.t, Backend.Field.t ) t
val read :
( 'var, 'value, Backend.Field.t, _ ) Types.Typ.t ->
'var ->
( 'value, Backend.Field.t ) t
module Provider : sig ... end
module Handle : sig ... end
module Ref : sig ... end