Module Trait.File_system

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