Interface specification
Keywords: interface
The interface specification defines the features (exports) of the interface. It may define public features (exported features), but also private features, which are not exported.
Definition:
interface_spec := '{' [exports(*)] '}'