Definition of one or more attributes
Keywords: attribute
One or more attribute definitions can be provided.
Definition:
attr_def := attr_spec | attr_specs
One or more attribute definitions can be provided.
attr_def := attr_spec | attr_specs