Index of types
Index of values
Index of modules
Ptmap
Maps over integers implemented as Patricia trees.