Constructed types

Dictionary

A dictionary with N entries is encoded like a sequence with N elements where the element type is a compact struct:

compact struct Pair { key: Key, value: Value }

Key represents the dictionary's key type and Value represents the dictionary's value type.