Index of modules

A
Analysis [Sparecode_params]

Whether to perform spare code detection or not.

Annot [Sparecode_params]

keep more things to keep all reachable annotations.

B
BoolInfo [Transform]
G
GlobDecl [Sparecode_params]

remove unused global types and variables

Globs
H
Hashtbl [Datatype.S_with_collections]
I
Info [Transform]
K
Key [Datatype.Hashtbl]

Datatype for the keys of the hashtbl.

Key [Datatype.Map]

Datatype for the keys of the map.

M
Make [Datatype.Hashtbl]

Build a datatype of the hashtbl according to the datatype of values in the hashtbl.

Make [Datatype.Map]

Build a datatype of the map according to the datatype of values in the map.

Map [Datatype.S_with_collections]
P
P [Register]
R
Register

Internal State

Register [Sparecode]
Result [Register]
Result [Globs]
Result_pair [Register]
S
Set [Datatype.S_with_collections]
Spare_marks
Sparecode

Sparecode analysis.

Sparecode_params
T
Transform