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