Read_EOF

open fun Read_EOF()

Read over an EOF maker to the next value.

Throws

any kind of IO error