OptionalannotateAdd tag names as annotations.
When true, a tagged value whose tag has a name in the store is followed by
a / name / comment, e.g. 1(1675854714) / date /.
OptionalsummarizeUse custom summarizers for tagged values.
When true, calls registered summarizers for tagged values. Implies flat.
OptionalflatSingle-line (flat) output. When true, arrays and maps are formatted without line breaks.
OptionaltagsTag store to use for tag name resolution.
TagsStore instance: use this specific store'global': use global singleton store'none': don't resolve names; print bare tag numbers
Options for diagnostic formatting.