1 2 3 4 5 6 7 8 9 10 11 12
s ::= fn(t:: Type) Type { struct { c :: t = 7 as t; m: t; } } main ::= fn() { o: s(int); x := o["m"]; y ::= o["c"]; }