A finite associative collection.
interface dictionary[combivariant readonly value key type, value value type]