A | |
annotation_kind [Analyses_types] | |
at_data [Analyses_types] | Type uniquely representing a |
C | |
category [E_ACSL.Options] | |
contract [Contract_types] | Represent a function or statement contract. |
I | |
ival [Interval] | |
L | |
localized_scope [Env] | |
lscope [Analyses_types] | |
lscope_var [Analyses_types] | |
N | |
number_ty [Typing] | |
P | |
pred_or_term [Analyses_types] | |
R | |
result [Error.S] | Represent either a result of type |
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 [Interval] | |
t [Lscope] | |
t [Logic_aggr] | Represent the different types of aggregations. |
W | |
where [Env] |