Go backward to Classes and Variables Go up to Top Go forward to Identifier Expressions |
D ::= ...| var I:T | class I=T
T ::= newint | I | record D end
Examples
class R = record var X:
newint, var Y: newint end
var A: R;
var B: R
var A: newint;
class R = record var C:
newint;
proc P = (C:=@A+1) end;
var F: R; var G: R
in ...F.C ...call G.P ...