Index of types

A
annotation_kind [Analyses_types]
at_data [Analyses_types]	Type uniquely representing a `predicate` or `term` with an associated `label`, and the necessary information for its translation.
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 `'a` or an error with an exception.
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]