Module vstd::set

Re-exports

• pub use set_internal;

Macros

• set

Structs

• Set
  Set<A> is a set type for specifications.

Functions

• axiom_mk_map_domain
• axiom_mk_map_index
• axiom_set_choose_finite
• axiom_set_choose_len
• axiom_set_complement
• axiom_set_contains_len
• axiom_set_difference
• axiom_set_difference_finite
• axiom_set_empty
• axiom_set_empty_finite
• axiom_set_empty_len
• axiom_set_ext_equal
• axiom_set_ext_equal_deep
• axiom_set_insert_different
• axiom_set_insert_finite
• axiom_set_insert_len
• axiom_set_insert_same
• axiom_set_intersect
• axiom_set_intersect_finite
• axiom_set_new
• axiom_set_remove_different
• axiom_set_remove_finite
• axiom_set_remove_insert
• axiom_set_remove_len
• axiom_set_remove_same
• axiom_set_union
• axiom_set_union_finite
• group_set_axioms