| 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 |