fileExecutable

• Usage:

  fileExecutable n

• Inputs:
  • n,
• Outputs:
  • whether the file whose name is given by the string n is executable

i1 : fileExecutable "."

o1 = true