definition

definition ::= { ( "CONST" { constant_declaration ";" } ) | 
      ( "TYPE" { ident [ "=" type ] ";" } ) | 
      ( "VAR" { variable_declaration ";" } ) | 
      ( procedure_heading ";" ) } 

This rule is called by

-> definition_module