A | |
| aexp [Compiler_util] |
Atomic expressions.
|
| aexp [Imp] | |
| anfexp [Compiler_util] |
Expressions in A-normal form.
|
| aop [Imp] | |
| assembly [Arm] | |
B | |
| bexp [Compiler_util] |
Binding forms.
|
| bexp [Imp] | |
C | |
| cmd [Sketching] | |
| cmd [Imp] | |
| cmp [Imp] |
Operators to compare integers.
|
| cond [Arm] | |
| const [Compiler_util] | |
| const [Xinterp_util] | |
| const [Interp_util] | |
E | |
| exp [Compiler_util] | |
| exp [Xinterp_util] | |
| exp [Interp_util] | |
| exp [Sketching] | |
I | |
| id [Compiler_util] | |
| id [Xinterp_util] | |
| id [Interp_util] | |
| id [Sketching] | |
| index [Arm] | |
L | |
| label [Arm] | |
O | |
| op1 [Sketching] | |
| op2 [Compiler_util] | |
| op2 [Xinterp_util] | |
| op2 [Interp_util] | |
| op2 [Sketching] | |
| operand [Arm] | |
R | |
| reg [Arm] | |
V | |
| value [Compiler_interp] |