If the container has a notion of multikey-value mapping, KeyTypes[k], where k is a zero-based unsigned number, defines the type of the kth key of the container.

A container may define both KeyType and KeyTypes, e.g. in the case it has the notion of primary/preferred key.