read_line()

Read a single line of text from stdin.

Returns Ok with the line (without trailing newline) on success, or Err with an error message on failure. When there is no more input available (end of file), returns Err("End of input.").

match read_line() {
  Ok(line) => println("You entered: " ^ line)
  Err(e) => println("Error: " ^ e)
}

public fun read_line(): Result<String, String> {
  __BUILT_IN_IMPLEMENTATION
}