file_type(path)
file_device(path)
file_inode(path)
file_mode(path)
file_number_of_links(path)
file_owner(path)
file_group(path)
file_size(path)
file_last_access_time(path)
file_last_modification_time(path)
file_last_change_time(path)
file_creation_time(path)
file_attributes(path)
Return the various attributes of the file at path.
These functions combines a call to file_info with an accessor
to one of the file-information object's fields.
For file_type(path), the returned value is one of the following symbols:
'regular (a regular file), 'directory, 'character_special (character special device), 'block_special (block special device), 'fifo, 'symbolic_link, 'socket, 'unknown (file is of an unknown type).
For file_last_access_time, file_last_modification_time, file_last_change_time and
file_creation_time, the return value is a UNIX timestamp. (seconds elapsed since the UNIX epoch).