read(File,ZZ) -- read from a file

read(File,ZZ) -- read from a file

Synopsis:

Usage: s = read(f,n)

Function: read -- read from a file

Input:

f, an instance of class File: a file

n, an instance of class ZZ: an integer specifying the maximum number of bytes to read

Output:

s, an instance of class String: a string obtained by reading from f.