Structs§
Functions§
- _verus_
external_ ⚠fn_ specification_ 793__ 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_ 794__ 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_ 795__ 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_ 796__ 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_ 797_ core_ 32__ 58__ 58__ 32_ hint_ 32__ 58__ 58__ 32_ unreachable__ unchecked - _verus_
external_ ⚠fn_ specification_ 798__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ iter - _verus_
external_ ⚠fn_ specification_ 799__ 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_ 800__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ first - _verus_
external_ ⚠fn_ specification_ 801__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ last - _verus_
external_ ⚠fn_ specification_ 804__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ split__ at - axiom_
spec_ slice_ iter - group_
slice_ axioms - into_
iter_ elts - spec_
slice_ iter