Std stream stream eof std:std.stream.Stream.Eof Property Eof:Bool# True if no more data can be read from the stream.