Modules | |
Representations for one-to-one mappings | |
Compounds | |
class | dummy_mapping |
dummy mapping to substitute for an unneeded mapping parameter. More... | |
class | partial_mapping |
A representation of a partial mapping T1 --> T2, using a default value for items not explicitely set. More... |