isOpenFile f -- whether f is an open file.
An open file is either an input file, an output file, an input output file, or a listener.
The return value is true or false.
Ways to use isOpenFile :
![[top]](top.gif)
![[index]](index.gif)