Index of types

A
annotation_kind [Misc]
D
data [State_builder.Hashtbl]
E
extended_project [Main]
I
integer_ty [Typing]

Possible types inferred by the system.

K
key [State_builder.Hashtbl]
kind [Keep_status]
L
localized_scope [Env]
lscope_var [Lscope]
P
pred_or_term [Misc]
S
scope [Env]
T
t [Env]
t [Lscope]
W
where [Env]