jacket
Search the docs
/
API
Tools
Playground
0.31.0
Codex module
← Codex
Codex wire reader
make_help
dump_file
On this page
See also
std
/
Codex
/
dump_file
dump_file
procedure · 1 overload
Source
dump_file
:: (name:
string
) ->
bool
Parameters
name
:
string
Returns
bool
See also
make_help