Trait.File_system
module type S = sig ... end
val t : ('t, (module S with type t = 't), [> file_system ]) Provider.Trait.t