Package: blackthorn

Variable *repl-input*

Details

Stream 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