[This is preliminary documentation and subject to change.]
Gets the length of the file.
file::get-length(file)