| [ << ] | [ < ] | [ Up ] | [ > ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
Closes an input/output device.
Syntax
CLOSE:postcondition
In its argumentless form, CLOSE closes all I/O devices except for device 0 (the HOME device), provided the optional postcondition is true or omitted.
CLOSE:postcondition channel
In its single-argument form, CLOSE closes the I/O device associated with channel channel, provided that channel represents a currently-open device, and the optional postcondition is true or omitted.
This document was generated on September 20, 2023 using texi2html 5.0.