Type

class Type (abstract, logical)

Direct parents:

• inherits Symbol

Ancestor classes and implemented interfaces:

Declarative_Node, Logical_IR_Root, Symbol

Direct child classes:

• subclass Named_Type

• subclass Unnamed_Type

Field	Kind	Type	Description
Size	attribute	builtin Natural
Alignment_Log	attribute	builtin Byte	log2 of the type’s alignment
Alignment	attribute	builtin Natural	Alignment of the type (must be a power of 2)
Size_In_Bits	attribute	builtin UInt64	Size of the type, in bits.
Parent (from Logical_IR_Root)	semantic	class Logical_IR_Root
Physical (from Logical_IR_Root)	semantic to physical	class Physical_IR_Root