record_declaration ::= record_name type_name;