System.StdIn
Definitions
def readLines(rc: Region[r]): Iterator[String, IO + r, r] \ r + IO
SourceReturns an iterator over lines from the standard input stream.
The iterator ends when the stream is closed or when an error occurs.
When the iterator is garbage collected the standard input stream is closed.
Thus, the readLines function should not be called more than once per program.
See also Console.readLine for reading from the console.