Possibly_Attributed_Type_Interface

interface Possibly_Attributed_Type_Interface (physical)

to express “some type, or an Attributed_Declaration/Definition on top of some type”

Direct child interfaces:

• subinterface Type_Interface

Direct implementations:

• class Attributed_Type_Declaration

• class Attributed_Type_Definition