Whether file is open: false for a zero File, for one file_open failed to open, and for one file_close closed.
file
false
File
file_open
file_close
is_valid :: (file: File) -> bool