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]