Record_Type_Definition_Interface

interface Record_Type_Definition_Interface (physical)

Direct parents:

• inherits Composite_Type_Definition_Interface

Inherited interfaces:

Composite_Type_Definition_Interface, Type_Interface, Possibly_Attributed_Type_Interface

Direct child interfaces:

• subinterface Struct_Type_Definition_Interface

• subinterface Class_Type_Definition_Interface

Direct implementations:

• class Record_Type_Definition

• class Unnamed_Record_Type_Definition

Field	Kind	Type	Description
Extends	syntactic	list of class Extends_Relation_Definition