company logo

Interface declaration

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 ] ';'