Go backward to Summary (Typing Rules II) Go up to Top Go forward to Summary (Typing Rules IV) |
P |- D: P1dec |
P |- module I={D}: {I:P1}dec |
P |- X: P1dec |
P |- import X: {I:P1}dec |
P |- L: intloc | P |- E: intexp |
P |- L:=E: comm |
P |- C1: comm | P |- C2: comm |
P |- C1;C2: comm |
P |- E: boolexp |
| ||
P |- if E then C1 else C2 fi: comm |
P |- E: boolexp | P |- C: comm |
P |- while E do C od: comm |
P |-skip: comm |
P |-X: comm |
P |-call X: comm |