Closes file and sets it to the closed state. A file that is already closed, or was never opened, is left alone, so closing
twice is safe. A failure to close is logged and leaves the handle as it was.
file_close :: (file: *File)
Parameters
- file: *File