file_flush

Asks the system to write the file's buffers to the device (FlushFileBuffers); returns false for a closed file or on an error.

file_flush :: (file: File) -> bool