record_type_dec

record_type_dec 
      ::= 
      "type" type_name "is" "record" 
      "(" field_spec { "," field_spec } ")" ";" 

[rule list]
This rule is call by

-> record_declaration