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.

isAbstract

var isAbstract: Boolean = false

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

metaTag

var metaTag: TypeTag? = null

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

name

val name: String

ordinal

val ordinal: Int

parent

val parent: TypeTag?

The parent of this TypeTag.

supremum

val supremum: A_Type

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.

uniqueValue

val uniqueValue: AvailObject?

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