definition

definition 
      ::= ( type_dcl | const_dcl | except_dcl | interface | module ) ";" 

This rule is called by

-> specification