B | |
bop [Ast] | |
E | |
expr [Ast] | |
S | |
stm [Ast] | |
T | |
t [InfInt] |
Int32.t extended with -oo and +oo
|
t [NonRelational.Domain] |
Type of abstract values.
|
t [Relational.Domain] |
Type of abstract values.
|
t [Name] |
A variable name is just a string.
|
t [Location] |
Type of locations.
|