Next: mpg-ref-set_input, Previous: mpg-ref-seek, Up: mpg-bpr [Contents][Index]
seen/0seen
Closes the current input stream.
Current input stream is
set to be user_input; that is, the user’s terminal.
Always succeeds
None.
see/1, close/[1,2], current_input/1, ref-iou-sfh.