![]() | ![]() | ![]() | A.1.7 Record Types |
[# I1:T1, I2:T2, ..., In:Tn #]
This type denotes the domain of n-ary records (# I1:=a1, I2:=a2, ..., In:=an #) with n values a1 from T1, a2 from T2, ..., an from Tn assigned to record field identifiers I1, I2, ..., In (see Section Record Values for the operations supported on records).
![]() | ![]() | ![]() | A.1.7 Record Types |