A | |
| annotation_kind [Smart_stmt] | |
C | |
| contract [Contract_types] | Represent a function or statement contract. |
D | |
| data [State_builder.Hashtbl] | |
I | |
| ival [Interval] | |
K | |
| key [State_builder.Hashtbl] | |
L | |
| localized_scope [Env] | |
| lscope_var [Lscope] | |
N | |
| number_ty [Typing] | |
P | |
| pred_or_term [Lscope] | |
S | |
| scope [Varname] | |
T | |
| t [Contract] | |
| t [Env] | |
| t [Lscope] | |
W | |
| where [Env] |