PARSING_PLAN_TAG

The array of Contravariant relationships defined during construction.

The array of Covariant relationships defined during construction.

The number of ancestors of this TypeTag

The highest ordinal value of all of this TypeTag's descendants, including itself. The descendants' ordinals must start just after the current TypeTag's ordinal, and be contiguously numbered. Since the ordinals are assigned by the Enum mechanism, that means a TypeTag definition must be followed immediately by each of its children and their descendants, which is prefix tree order.

A flag set during initialization, indicating this TypeTag has no direct instances.

If object X has tag T, then X's type has tag T.metaTag.

The parent of this TypeTag.

Every TypeTag has a (potentially infinite) collection of values that use that tag. After initialization, this property has the least upper bound A_Type that constrains all those values.

Some TypeTags occur in exactly one AvailObject. If so, this field will be initialized to a lambda that produces the value.