File -- the class of all files
The type File is a member of the class Type.
Each object of class File is called a file.
Files may be input files, output files, pipes, or sockets.
A list of currently open files may be obtained with openFiles.
Functions and methods returning a a file :
Methods for using a file :
Fixed objects of class File :