at_end_of_stream/0¶

iso

Succeed if the current stream has stream position end-of-stream or past-end-of-stream.