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
/
__instrumentation_second
__instrumentation_second
procedure
since 0.31.0
Source
__instrumentation_second
:: ()
See also
__instrumentation_first
__jai_runtime_init
__jai_runtime_fini
Jacket
Jacket