C | |
| CastIntro [PropagationParameters] | |
E | |
| ExpandLogicContext [PropagationParameters] | |
F | |
| FC_file [Register] | |
H | |
| Hashtbl [Datatype.S_with_collections] | |
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 | |
| Project_name [PropagationParameters] | |
| PropagationParameters |
Constant Propagation
|
R | |
| Register |
This visitor also performs a deep copy.
|
| Result [Register] | |
| Result_pair [Register] | |
S | |
| SemanticConstFold [PropagationParameters] | |
| SemanticConstFolding [PropagationParameters] | |
| Set [Datatype.S_with_collections] |