| T3X | T1 |
MODULE name(class, ...); | MODULE name; USE module, ...; |
name(argument, ...) statement | PROC name(argument, ...) statement |
DECL name(arity), ...; | PROC PTR name(argument, ...); ... |
STRUCT name = x, y, ...; | RECORD name = x; y; ...; END |
n/a | RECORD name = x[n]; y[m]; ...; END |
IE ... ELSE ... | IF ... ELSE ... |
FOR (i=0, 10) statement | FOR i := 0 TO 10 DO statement |
FOR (i=10, 0, %1) statement | FOR i := 10 TO 0 BY -1 DO statement |
LEAVE; | BREAK; |
DO ... END | SEQ ... END |
%1 | -1 |
x /\ y | x AND y |
x \/ y | x OR y |
\x | NOT x |
x \= y | x /= y |