Skip to main content
group_btree_extra_axioms
vstd_
extra
In vstd_
extra::
external::
btree
vstd_extra
::
external
::
btree
Function
group_
btree_
extra_
axioms
Copy item path
Source
pub
broadcast group
fn group_btree_extra_axioms()
Expand description
Additional axioms for mutable B-tree operations.
broadcast group