Dictionary entries

A dictionary consists of a set of entries. Each individual entry of a dictionary in turn consists of a key and a value. A dictionary can be viewed like a list of entries. Accordingly, the operations Filter and Map can also be applied to a dictionary.

To access the key and the value of a dictionary entry in a filter and map function, the functions getKey and getValue exist.