Traits§
Functions§
- _verus_
external_ ⚠fn_ specification_ 60_ T_ 32__ 58__ 58__ 32_ into - _verus_
external_ ⚠fn_ specification_ 61__ 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_ 62__ 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_ 63__ 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_ 64__ 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_ 65__ 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_ 66__ 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_ 67__ 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_ 68__ 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_ 69__ 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_ 70__ 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_ 71__ 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_ 72__ 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