File_reader.Provider_interface
module type S = sig ... end
val file_reader : ('t, (module S with type t = 't), [> tag ]) Provider.Trait.t