Go backward to Summary (Type Attributes) Go up to Top Go forward to Summary (Typing Rules II) |
P |- U:H |
P |- define I=U: {I:H}dec |
| if (I:H) in P |
PU {I:H} |- U:H |
P |- rec-define I=U: {I:H}dec |
{} |- D: Pdec | P |- C: comm |
|- D in C: comm |
P |- newint:intloc class |
P |- D: P1dec |
P |- record D end: P1class |
P |- X:Dclass |
P |- X:Dclass |