isInputFile f -- whether f is an input file.
The return value is true or false.
Ways to use isInputFile :
![[top]](top.gif)
![[index]](index.gif)