record_declaration

record_declaration 
      ::= record_type_dec | record_var_dec 

This rule is call by

-> declare_spec
-> package_obj_body
-> package_obj_spec