[
library(util)
|
The ECLiPSe Libraries
|
Reference Manual
|
Alphabetic Index
]
read_line(-String)
Defined as read_string(input, end_of_line, _Length, String)