Index of types

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]