Read a line from the standard input (stdin).

Property definitions

core :: file $ Sys :: gets
# Read a line from the standard input (`stdin`).
fun gets: String
do
	return sys.stdin.read_line
end
lib/core/file.nit:1717,1--1721,3