Structs§
Functions§
- _verus_
external_ ⚠fn_ specification_ 956__ 60__ 32_ usize_ 32_ as_ 32_ Slice Index_ 32__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ index - _verus_
external_ ⚠fn_ specification_ 957__ 60__ 32_ Range_ 32__ 60__ 32_ usize_ 32__ 62__ 32_ as_ 32_ Slice Index_ 32__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ index - _verus_
external_ ⚠fn_ specification_ 958__ 60__ 32__ 91_ T_ 93__ 32_ as_ 32_ Index_ 32__ 60__ 32_ I_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ index - _verus_
external_ ⚠fn_ specification_ 959__ 60__ 32__ 91_ T_ 59__ 32_ N_ 93__ 32_ as_ 32_ Index_ 32__ 60__ 32_ I_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ index - _verus_
external_ ⚠fn_ specification_ 960_ core_ 32__ 58__ 58__ 32_ hint_ 32__ 58__ 58__ 32_ unreachable__ unchecked - _verus_
external_ ⚠fn_ specification_ 961__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ iter - _verus_
external_ ⚠fn_ specification_ 962__ 60__ 32__ 38__ 32__ 39_ a_ 32__ 91_ T_ 93__ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ iter_ 32__ 58__ 58__ 32_ Into Iterator_ 32__ 62__ 32__ 58__ 58__ 32_ into__ iter - _verus_
external_ ⚠fn_ specification_ 963__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ first - _verus_
external_ ⚠fn_ specification_ 964__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ last - _verus_
external_ ⚠fn_ specification_ 967__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ split__ at - _verus_
external_ ⚠fn_ specification_ 969__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ copy__ from__ slice - _verus_
external_ ⚠fn_ specification_ 970__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ copy__ within_ 32__ 58__ 58__ 32__ 60__ 32_ R_ 32__ 62_ - axiom_
spec_ slice_ iter - copy_
within_ result - group_
slice_ axioms - into_
iter_ elts - spec_
slice_ iter