Package: blackthorn
Variable *repl-input*
DetailsStream which handles user input in the REPL. Write to *repl-input* to insert new user input, and read from it to retrieve the input again. Anything printed to *repl-input* is automatically echoed to *repl-output*. | See also |