Structs§
Functions§
- _verus_
external_ ⚠fn_ specification_ 58_ core_ 32__ 58__ 58__ 32_ hint_ 32__ 58__ 58__ 32_ unreachable__ unchecked - _verus_
external_ ⚠fn_ specification_ 59_ Iter_ 32__ 58__ 58__ 32__ 60__ 32__ 39_ a_ 44__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ next - _verus_
external_ ⚠fn_ specification_ 60__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ iter - _verus_
external_ ⚠fn_ specification_ 61__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ first - _verus_
external_ ⚠fn_ specification_ 62__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ last - _verus_
external_ ⚠fn_ specification_ 65__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ split__ at - axiom_
spec_ slice_ iter - group_
slice_ axioms - spec_
slice_ iter