seen/0
seen
Closes the current input stream.
Current input stream is set to be user_input; that is, the user's terminal.
user_input
Always succeeds
close/1