The JSONStreamPrinter structure provides an imperative
printer for producing JSON output to a TextIO output
stream.
Synopsis
structure JSONStreamPrinter : JSON_STREAM_OUTPUT
where type outstream = outstream
The JSONStreamPrinter structure provides an imperative
printer for producing JSON output to a TextIO output
stream.
structure JSONStreamPrinter : JSON_STREAM_OUTPUT
where type outstream = outstream