15.5.223 filetype

filetype(filename)

Returns the type (number) of the file with name filename. If the file cannot be opened for reading then an error is generated.

See also: #filetype, filetypename