Module hash_map

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