eof - check eof status of a stream
streamhandle eof -> streamhandle true
-> streamhandle false
This function provides a direct interface to
the C++ stream::eof() member function.
Diesmann, Hehl
19.4.1999
/builddir/build/BUILD/nest-simulator-3.3/nest-simulator-3.3/lib/sli/typeinit.sli