ada-util
ada-util copied to clipboard
Support indentation when writing JSON streams
The current JSON stream generation is produced on a single line without spaces.
This is good to API generation but produces a JSON which is harder to read by humans.
It can be passed to json_pp
but this is not always easy to do.
Similar to the XML, an indentation level could be added.