line-ends/eof ( stream str -- str )


Vocabulary
io.encodings.private

Inputs
streaman object
stran object


Outputs
stran object


Definition