Name	eof
Definition	eof:overloaded eof(f:val(tfile)) : expr(bool) eof(f:val(bfile)) : expr(bool)
Example	while (!eof(f)) do ( printint(freadint(f)); printstr("\n") );
Defined in	io.l
Implementation	builtin
Description	Indicate whether a call to one of the read functions at this point would give a "read past end of file" error.
Note	For text files eof skips over any white space before actually testing for eof; this is useful when processing "human" files. This is not the case for binary files.