record_type_definition

record_type_definition ::= [ [ "abstract" ] "tagged" ] 
      [ "limited" ] record_definition 

[rule list]
This rule is called by

-> type_definition