close_file — Closing a text file.
close_file( : : FileHandle : )
The operator close_file closes a file which was opened via the operator open_file.
open_file ('standard', 'output', FileHandle) * .... close_file(FileHandle)
If the file handle is correct close_file returns the value 2 (H_MSG_TRUE). Otherwise an exception is raised.