Module hash_set

Structs

HashSetWithView

HashSetWithView is a trusted wrapper around std::collections::HashSet with View implemented for the type vstd::map::Set<<Key as View>::V>.

StringHashSet

StringHashSet is a trusted wrapper around std::collections::HashSet<String> with View implemented for the type vstd::map::Set<Seq<char>>.

Functions

axiom_hash_set_with_view_spec_len

axiom_string_hash_set_spec_len

group_hash_set_axioms