isInputFile
isInputFile f
-- whether
f
is an input file.
The return value is
true
or
false
.