File module

is_valid

procedureSource

Whether file is open: false for a zero File, for one file_open failed to open, and for one file_close closed.

is_valid :: (file: File) -> bool

Parameters

file: File

Returns

bool
Example
file, ok := file_open("jai-doc-no-such-file.txt");
assert(!ok && !is_valid(file));

Doesn't run in the browser (only on windows).

See also