Skip to main content

Module hash_map

vstd

Module hash_map 

Source

Structsยง

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