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
see/1, close/[1,2], current_input/1, ref-iou-sfh.
see/1
close/[1,2]
current_input/1