Adding Records
1
2
3
4
5
6
7
8
9
10
11
12
t ::= Terms:
| {i1=t1, ..., in=tn} record
| t.i projection
| ...
v ::= Values:
| {i1=v1, ..., in=vn} record value
| ...
T ::= Types:
| {i1:T1, ..., in:Tn} record type
| ...
