Skip to main content

Module hash_set

vstd

Module hash_set 

Source

Structsยง

HashSetWithView
HashSetWithView is a verified wrapper around std::collections::HashSet with View implemented for the type vstd::set::Set<<Key as View>::V>.
StringHashSet
StringHashSet is a verified wrapper around std::collections::HashSet<String> with View implemented for the type vstd::set::Set<Seq<char>>.