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