|- D: dec |
|- module I={D}: {I:}dec |
|- X: dec |
|- import X: {I:}dec |
|- L: intloc | |- E: intexp |
|- L:=E: comm |
|- C: comm | |- C: comm |
|- C;C: comm |
|- E: boolexp |
| ||
|- if E then C else C fi: comm |
|- E: boolexp | |- C: comm |
|- while E do C od: comm |
|-skip: comm |
|-X: comm |
|-call X: comm |