3-As_prover.Provider
type ('a, 'f) t = ( 'a, 'f ) Checked.Types.Provider.t
val run : ( 'a, Env.field ) t -> string list -> ( Env.field Cvar.t -> Env.field ) -> Request.Handler.t -> 'a