A | |
annotation_kind [Misc] | |
D | |
data [State_builder.Hashtbl] | |
E | |
extended_project [Main] | |
I | |
ival [Interval] | |
K | |
key [State_builder.Hashtbl] | |
kind [Keep_status] | |
L | |
localized_scope [Env] | |
lscope_var [Lscope] | |
N | |
number_ty [Typing] | |
P | |
pred_or_term [Misc] | |
S | |
scope [Varname] | |
T | |
t [Env] | |
t [Lscope] | |
W | |
where [Env] |