readline - read and edit a line from standard inputSynopsis:
any readline -> any trueDescription:
readline takes anything from the prompt as a string and prints it.Author:
If something is added, readline pushes the additional phrase as string
plus a true on the stack (that means readline reads a line from
standard input). If nothing is added false is pushed.
docu by Sirko StraubeSeeAlso: