1 2 3 4 5 6 7 8 9 10 11 12
type R = record a: Int; b: Int end proc f(): R return R{ a: 1, b: 2 } begin assert(f() = R{ a: 1, b: 2 }) end.