Options for envelope notation formatting.
Optional
Format as a single line without indentation.
Names for tags and known values; the global context by default.
Options for envelope notation formatting.