1 2 3 4 5 6 7 8 9 10 11
type R = record x, y: Int end var r: R := R{x: 1, y: 2} begin assert(r.x = 1 & r.y = 2) end.