vstd
In vstd::
set
Modules
fold
Macros
set
Structs
Set
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
?
Settings
Macro
vstd
::
set
::
set
Copy item path
source
·
[
−
]
macro_rules!
set { [$(
$tail
:tt)
*
] => { ... }; }