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] |