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
/var/www/debian/nest/nest-simulator-2.20.0/lib/sli/typeinit.sli