num::map

Defined in header <core/types.hpp>

template <class K, class V, class Compare = std::less<K>,
          class Alloc = std::allocator<std::pair<const K, V>>>
using map = std::map<K, V, Compare, Alloc>;

std::map: a map sorted by key, like Rust BTreeMap.