Files.
Files
are ISETL values that are created as a result of applying one of the pre-defined functions
openr
,
opena
,
openw
. They correspond to external files in the operating system environment.