Re-exports§
pub use super::std_specs::vec::VecAdditionalSpecFns;
Traits§
Functions§
- _verus_
external_ ⚠fn_ specification_ 7__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ len - _verus_
external_ ⚠fn_ specification_ 8__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ is__ empty - _verus_
external_ ⚠fn_ specification_ 9__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ get_ 32__ 58__ 58__ 32__ 60__ 32_ I_ 32__ 62_ - axiom_
slice_ ext_ equal - axiom_
slice_ get_ usize - axiom_
slice_ has_ resolved - axiom_
spec_ len - axiom_
spec_ slice_ index - axiom_
spec_ slice_ update - group_
slice_ axioms - slice_
index_ get - slice_
subrange - slice_
to_ vec - spec_
slice_ get - spec_
slice_ index - spec_
slice_ is_ empty - spec_
slice_ len - spec_
slice_ update