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 |