Data.TypeMap
data
TypeMap
f
empty
insert
lookup
lookup'