Index of types


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]