Mappings
This is an abstract type, or interface.
These represent finite sets of objects indexed by arbitrary index
sets. The subscript notation a[k] selects the item indexed by k
from the mapping a; this can be used in expressions and as the
target of assignments or del statements. The built-in function len()
returns the number of items in a mapping.
