Module hash_map

Source

Structs§

HashMapWithView
HashMapWithView is a trusted wrapper around std::collections::HashMap with View implemented for the type vstd::map::Map<<Key as View>::V, Value>.
StringHashMap
StringHashMap is a trusted wrapper around std::collections::HashMap<String, Value> with View implemented for the type vstd::map::Map<Seq<char>, Value>.

Functions§

axiom_hash_map_with_view_spec_len
axiom_string_hash_map_spec_len
group_hash_map_axioms