Index of types


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.