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
/
android_flush_write_string_buffer
android_flush_write_string_buffer
procedure
since 0.31.0
Source
android_flush_write_string_buffer
:: (force := false)
Parameters
force
:=
false
See also
write_string
write_strings
write_nonnegative_number
write_number