Re-exports§
pub use super::std_specs::vec::VecAdditionalSpecFns;
Traits§
Functions§
- _verus_
external_ ⚠fn_ specification_ 12__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ len - _verus_
external_ ⚠fn_ specification_ 13__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ is__ empty - axiom_
slice_ decreases_ to_ seq - axiom_
slice_ ext_ equal - axiom_
slice_ has_ resolved - axiom_
spec_ len - axiom_
spec_ slice_ index - axiom_
spec_ slice_ update - group_
slice_ axioms - lemma_
slice_ index_ decreases - slice_
index_ get - slice_
subrange - slice_
to_ vec - spec_
slice_ index - spec_
slice_ is_ empty - spec_
slice_ len - spec_
slice_ update