M | |
| map [Label] | dictionnaires dont les clés sont des étiquettes |
| map [Register] | dictionnaires dont les clés sont des registres |
| mbbranch [Ops] | opérations de branchement binaires |
| mbinop [Ops] | opérations binaires |
| mubranch [Ops] | opérations de branchement unaires |
| munop [Ops] | opérations unaires |
P | |
| ptr [Memory] | ici toutes les valeurs sont des entiers 64 bits |
S | |
| set [Label] | ensembles dont les éléments sont des étiquettes |
| set [Register] | ensembles dont les éléments sont des registres |
T | |
| t [Memory] | le type abstrait d'une mémoire |
| t [Label] | le type des étiquettes |
| t [Register] | |
V | |
| value [Memory] |