Interface declaration
Keywords: extensional feature, intensional feature
Interface declarations describe the intentional features of a complex data type. It does not refer to extensional features, as the class does.
Definition:
interface_dcl := [update_option] interface_header [ interface_spec ] ';'