num::io::write_json

Defined in header <io/json.hpp>

void write_json(const json &value, const std::filesystem::path &path);

Serialize a JSON value to disk.