A
record_expression is
a set of distinct
record
field labels with associated expressions. The expressions
associated with each field are evaluated in the order that they appear
in the source code, by rules
record_expression_0 and
record_expression_1, resulting in
a new value of type
t.