Structs§
Traits§
- ExAllocator
- ExBorrow
- ExDebug
- ExDeref
- ExDisplay
- ExFreeze
- ExFrom
- ExHash
- ExIndex
- ExIndex
Mut - ExInteger
- ExInto
- ExInto
Iterator - ExIter
Step - ExIterator
- ExPtr
Pointee - ExSpec
Ord - ExStructural
- Index
SetTrusted Spec
Functions§
- _verus_
external_ ⚠fn_ specification_ 46_ T_ 32__ 58__ 58__ 32_ into - _verus_
external_ ⚠fn_ specification_ 47_ core_ 32__ 58__ 58__ 32_ mem_ 32__ 58__ 58__ 32_ swap_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62_ - _verus_
external_ ⚠fn_ specification_ 48_ I_ 32__ 58__ 58__ 32_ into__ iter - _verus_
external_ ⚠fn_ specification_ 49_ core_ 32__ 58__ 58__ 32_ intrinsics_ 32__ 58__ 58__ 32_ likely - _verus_
external_ ⚠fn_ specification_ 50_ core_ 32__ 58__ 58__ 32_ intrinsics_ 32__ 58__ 58__ 32_ unlikely - _verus_
external_ ⚠fn_ specification_ 51_ bool_ 32__ 58__ 58__ 32_ then - _verus_
external_ ⚠fn_ specification_ 52__ 60__ 32_ u16_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ u8_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 53__ 60__ 32_ u32_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ u8_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 54__ 60__ 32_ u64_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ u8_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 55__ 60__ 32_ usize_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ u8_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 56__ 60__ 32_ u128_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ u8_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 57__ 60__ 32_ u32_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ u16_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 58__ 60__ 32_ u64_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ u16_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 59__ 60__ 32_ usize_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ u16_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 60__ 60__ 32_ u128_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ u16_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 61__ 60__ 32_ u64_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ u32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 62__ 60__ 32_ u128_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ u32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 63__ 60__ 32_ u128_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ u64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - index_
set - iter_
into_ iter_ spec