A | |
| annotation_kind [Smart_stmt] | |
C | |
| contract [Contract_types] | Represent a function or statement contract. |
I | |
| ival [Interval] | |
L | |
| localized_scope [Env] | |
| lscope_var [Lscope] | |
N | |
| number_ty [Typing] | |
O | |
| or_error [Error] | |
P | |
| pred_or_term [Lscope] | |
S | |
| scope [Varname] | |
| strnum [Typed_number] | Type of a string that represents a number. |
T | |
| t [Contract] | |
| t [Assert] | Type to hold the data contributing to an assertion. |
| t [Env] | |
| t [Lscope] | |
| t [Logic_aggr] | Represent the different types of aggregations. |
W | |
| where [Env] |