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