at_end_of_stream/1¶

"at_end_of_stream(+ S" ) is iso

Succeed if the stream S has stream position end-of-stream or past-end-of-stream. Note that S must be a readable stream.