[ << ] [ < ] [ Up ] [ > ] [ >> ]         [Top] [Contents] [Index] [ ? ]

5.9 CLOSE

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 January 3, 2022 using texi2html 5.0.