S (filesystem.filesystem.types.Filesystem

module File_kind : File_kind.S

module File_permissions : File_permissions.S

module File_stats : 
  File_stats.S
    with module File_kind := File_kind
     and module File_permissions := File_permissions

module On_cleanup_error : On_cleanup_error.S