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
include Monad_let.S2 with type ('a, 'f) t := ( 'a, 'f field ) t
include Monad_let.S_without_syntax2 with type ('a, 'e) t := ( 'a, 'e field ) t
include Core_kernel.Monad.Infix2 with type ('a, 'e) t := ( 'a, 'e field ) t
val (>>|) : ( 'a, 'e field ) t -> ( 'a -> 'b ) -> ( 'b, 'e field ) t
module Monad_infix :
Core_kernel.Monad.Infix2 with type ('a, 'e) t := ( 'a, 'e field ) t
val return : 'a -> ( 'a, _ field ) t
val map : ( 'a, 'e field ) t -> f:( 'a -> 'b ) -> ( 'b, 'e field ) t
val all : ( 'a, 'e field ) t list -> ( 'a list, 'e field ) t
val all_unit : ( unit, 'e field ) t list -> ( unit, 'e field ) t
val map2 :
( 'a, 'f field ) t ->
( 'b, 'f field ) t ->
f:( 'a -> 'b -> 'c ) ->
( 'c, 'f field ) t