Index of modules


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]