jacket
Search the docs
/
API
Tools
Playground
0.31.0
Io module
← Io
Files
open_file
read_at
write_at
file_size
read_file
write_file
On this page
See also
std
/
Extensions
/
Io
/
file_size
file_size
procedure · 1 overload
Source
file_size
:: (file: *
Io_File
) -> (
s64
,
Io_Error
)
Parameters
file
:
*
Io_File
Returns
s64
Io_Error
See also
read_at
write_at
read_file
write_file