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] | |
strnum [Typed_number] | Type of a string that represents a number. |
T | |
t [Contract] | |
t [Env] | |
t [Lscope] | |
t [Logic_aggr] | Represent the different types of aggregations. |
W | |
where [Env] |