Skip to end of metadata
Go to start of metadata

Mapping

A helper type used by map and sorted_map.

Mapping type

mapping<KeyType, ValueType>

Subtypes

Supertypes

Comparable types

none

none

none

Operations on mapping

get value

Operand type

Parameter type

Result type

mapping<KeyType, ValueType>

none

ValueType

set value

Operand type

Parameter type

Result type

mapping<KeyType, ValueType>

ValueType

ValueType

get key

Operand type

Parameter type

Result type

map<KeyType, ValueType>

none

KeyType

  • No labels