A | |
annotation [Lattice.S] | |
annotation [Lattice.Medium] | |
annotation [Lattice.Base] | |
B | |
bwd_kind [Components] | |
C | |
call [Model.Make.State] | |
call [Model.Make.Leaks] | |
D | |
data [Computation.REF_OUTPUT] |
Type of the referenced value.
|
E | |
elt [Computation.SET_REF_OUTPUT] | |
exp_status [Model.Make.State] |
Status of an expression.
|
F | |
fwd_kind [Components] | |
K | |
kind [Components] | |
L | |
leak [Model.Make.Leaks] | |
T | |
t [String] |
An alias for the type of strings.
|
t [Model.Make.State] | |
t [Model.Make.Leaks] | |
t [Lattice.Boolean.B] | |
t [Components.Todolist] | |
t [Components.NodeKf] | |
todo [Components.Todolist] | |
V | |
value [Plugin.INDEXED_VAL] |
the real type for the option
|
values [Model] |