![[top]](top.gif)
![[index]](index.gif)
f << closeIn -- closes the input file f.
closeIn f -- closes the input file f.
If the file was open only for input, then close is easier to use and has the same effect.
If the file was open for both input and output, it remains open for output.
The manipulator closeIn is a member of the class Manipulator.