user-defined to_string function for JSON values
This function implements a user-defined to_string for JSON objects.
Definition at line 26693 of file json.hpp.