Jacket
Search the docs
/
API
Tools
Playground
main
Runtime_Support module
← Runtime_Support
Faults
__array_bounds_check_fail
__cast_bounds_check_fail
__null_pointer_check_fail
__arithmetic_overflow
one_time_init
On this page
See also
std
/
Runtime_Support
/
one_time_init
one_time_init
procedure
since 0.31.0
Source
one_time_init
:: (synch_value: *
s32
, to_insert:
Code
)
Parameters
synch_value
:
*
s32
to_insert
:
Code
See also
__null_pointer_check_fail
__arithmetic_overflow