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