[ library(util) | Reference Manual | Alphabetic Index ]

read_line(+Stream, -String)

Defined as read_string(Stream, end_of_line, _Length, String)