Searched refs:json_writer_double (Results 1 – 3 of 3) sorted by relevance
32 void json_writer_double(JSONWriter *, const char *name, double val);
169 json_writer_double(writer, name, val->u.dbl); in to_json()
227 void json_writer_double(JSONWriter *writer, const char *name, double val) in json_writer_double() function