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

5.6 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.


[ < ] [ > ]   [ << ] [ Up ] [ >> ]

This document was generated by root on October 14, 2020 using texi2html 1.82.