jacket
Search the docs
/
API
Tools
Playground
0.31.0
Json module
← Json
Writer
append_json_string
json_write_null
json_write_bool
json_write_uint
json_write_int
json_write_float64
json_write_float32
json_write_string
json_write_raw
json_begin_object
json_end_object
json_begin_array
json_end_array
json_key
json_key_fixed
json_key_dynamic
json_item
json_write_value
On this page
See also
std
/
Extensions
/
Json
/
json_write_float64
json_write_float64
procedure · 1 overload
Source
json_write_float64
:: (w: *
Json_Writer
, value:
float64
)
Parameters
w
:
*
Json_Writer
value
:
float64
See also
json_write_uint
json_write_int
json_write_float32
json_write_string