(data: WriteBuffer, value: dict[str, Any])
| 551 | |
| 552 | |
| 553 | def write_json(data: WriteBuffer, value: dict[str, Any]) -> None: |
| 554 | write_tag(data, DICT_STR_GEN) |
| 555 | write_int_bare(data, len(value)) |
| 556 | for key in sorted(value): |
| 557 | write_str_bare(data, key) |
| 558 | write_json_value(data, value[key]) |
| 559 | |
| 560 | |
| 561 | def write_errors(data: WriteBuffer, errs: list[ErrorTuple]) -> None: |