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
/
write_string_unsynchronized
write_string_unsynchronized
procedure
since 0.31.0
Source
write_string_unsynchronized
:: (s:
string
, to_standard_error := false)
Parameters
s
:
string
to_standard_error
:=
false
See also
c_style_strlen
to_string
write_string
write_strings
Jacket
Jacket