Characteristic predicate Files::File::File

File()