atEndOfFile
atEndOfFile f
-- tells whether an input file
f
is at the end.
See also
File
.
