Tagged Enumeration
type: Class
type: NodeShape
description: An enumeration where each literal has a tag that is a non-negative integer. These enumerations are likely to have their literals encoded - hence the need for the tag.
subclass of: Enumeration
property: TaggedEnumeration-code