[ library(util) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

read_line(-String)

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