Structs§
Traits§
- ExFrom
- ExInto
- ExTry
From - ExTry
Into - From
Spec - From
Spec Impl - Into
Spec - Into
Spec Impl - TryFrom
Spec - TryFrom
Spec Impl - TryInto
Spec - TryInto
Spec Impl
Functions§
- _verus_
external_ ⚠fn_ specification_ 60__ 60__ 32_ T_ 32_ as_ 32_ Into_ 32__ 60__ 32_ U_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ into - _verus_
external_ ⚠fn_ specification_ 61__ 60__ 32_ T_ 32_ as_ 32_ TryInto_ 32__ 60__ 32_ U_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ into - _verus_
external_ ⚠fn_ specification_ 62__ 60__ 32_ T_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ U_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 63__ 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_ 64__ 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_ 65__ 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_ 66__ 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_ 67__ 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_ 68__ 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_ 69__ 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_ 70__ 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_ 71__ 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_ 72__ 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_ 73__ 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_ 74__ 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 - _verus_
external_ ⚠fn_ specification_ 75__ 60__ 32_ u8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u16_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 76__ 60__ 32_ i8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u16_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 77__ 60__ 32_ u8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 78__ 60__ 32_ u16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 79__ 60__ 32_ i8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 80__ 60__ 32_ i16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 81__ 60__ 32_ usize_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 82__ 60__ 32_ isize_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 83__ 60__ 32_ u8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 84__ 60__ 32_ u16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 85__ 60__ 32_ u32_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 86__ 60__ 32_ i8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 87__ 60__ 32_ i16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 88__ 60__ 32_ i32_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 89__ 60__ 32_ usize_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 90__ 60__ 32_ isize_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 91__ 60__ 32_ u8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 92__ 60__ 32_ u16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 93__ 60__ 32_ u32_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 94__ 60__ 32_ u64_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 95__ 60__ 32_ i8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 96__ 60__ 32_ i16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 97__ 60__ 32_ i32_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 98__ 60__ 32_ i64_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 99__ 60__ 32_ usize_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 100__ 60__ 32_ isize_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ u128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 101__ 60__ 32_ u8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ usize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 102__ 60__ 32_ u16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ usize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 103__ 60__ 32_ u32_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ usize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 104__ 60__ 32_ u64_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ usize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 105__ 60__ 32_ u128_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ usize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 106__ 60__ 32_ i8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ usize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 107__ 60__ 32_ i16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ usize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 108__ 60__ 32_ i32_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ usize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 109__ 60__ 32_ i64_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ usize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from