Identifier Expressions

X in Identifier-expr
    X ::= I | X.I
...
C ::= L:=E | C$$₁;C$$₂ | ...| call X
E ::= N | @L | ...| X
L ::= X

• $P$ |- newint:intloc class

• $P$ |- D: $P$$$1dec

  $P$ |- record D end: $P$$$1class

• $P$ |- T:$D$class

  $P$ |- var I:T: {I:$D$}dec

• $P$ |- T:$D$class

  $P$ |-class I=T: {I:$D$class}dec

• $P$ |- I:$H$, if (I:$H$) in $P$

• $P$ |- X:$P$$$1 $P$ |- X.I: $T$

  if (I:$T$) in $P$$$1