Jacket
Search the docs
/
API
Tools
Playground
main
Runtime_Support module
← Runtime_Support
General
__instrumentation_first
__instrumentation_second
__jai_runtime_init
__jai_runtime_fini
__element_duplicate
c_style_strlen
to_string
write_string_unsynchronized
write_string
write_strings
android_flush_write_string_buffer
write_nonnegative_number
write_number
runtime_support_assertion_failed
runtime_support_default_logger
debug_break
compile_time_debug_break
On this page
See also
std
/
Runtime_Support
/
__jai_runtime_fini
__jai_runtime_fini
procedure
since 0.31.0
Source
__jai_runtime_fini
:: (_context: *
void
) #c_call
Parameters
_context
:
*
void
See also
__instrumentation_second
__jai_runtime_init
__element_duplicate
c_style_strlen
Jacket
Jacket