Closes an open file.
PROCEDURE Text_IO.Fclose (file file_type);
/* ** Close the output file. */ Text_IO.Fclose (out_file);