Go backward to Summary (Typing Rules I) Go up to Top Go forward to Summary (Typing Rules III) |
P |- D1: P1dec | P |- D2: P2dec |
P |- D1,D2: (P1 U P2)dec |
P |- D1: P1dec | PU P |- D2: P2dec |
P |- D1;D2: (P1 U P2)dec |
P |- N: Tint |
P |- const I=N: {I:int}dec |
P |- E: Texp |
P |- fun I=E: {I:Texp}dec |
P |- C: Tcomm |
P |- proc I=C: {I:comm}dec |
P |- T: Dclass |
P |- var I:T: {I:D}dec |
P |- T: Dclas |
P |- class I=T: {I:Dclass}dec |