
read_line(+Stream, -String)

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

Type
   library(util)


