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_ 627__ 60__ 32_ u8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ isize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 628__ 60__ 32_ u16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ isize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 629__ 60__ 32_ u32_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ isize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 630__ 60__ 32_ u64_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ isize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 631__ 60__ 32_ u128_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ isize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 632__ 60__ 32_ i8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ isize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 633__ 60__ 32_ i16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ isize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 634__ 60__ 32_ i32_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ isize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 635__ 60__ 32_ i64_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ isize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 636__ 60__ 32_ i128_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ isize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 637__ 60__ 32_ usize_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ isize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 638__ 60__ 32_ u8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 639__ 60__ 32_ u16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 640__ 60__ 32_ u32_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 641__ 60__ 32_ u64_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 642__ 60__ 32_ u128_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 643__ 60__ 32_ i8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 644__ 60__ 32_ i16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 645__ 60__ 32_ i32_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 646__ 60__ 32_ i64_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 647__ 60__ 32_ usize_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 648__ 60__ 32_ isize_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i128_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 649__ 60__ 32_ u8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 650__ 60__ 32_ u16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 651__ 60__ 32_ u32_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 652__ 60__ 32_ u64_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 653__ 60__ 32_ u128_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 654__ 60__ 32_ i8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 655__ 60__ 32_ i16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 656__ 60__ 32_ i32_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 657__ 60__ 32_ usize_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 658__ 60__ 32_ isize_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 659__ 60__ 32_ u8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 660__ 60__ 32_ u16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 661__ 60__ 32_ u32_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 662__ 60__ 32_ u64_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 663__ 60__ 32_ u128_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 664__ 60__ 32_ i8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 665__ 60__ 32_ i16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 666__ 60__ 32_ usize_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 667__ 60__ 32_ isize_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 668__ 60__ 32_ u8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i16_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 669__ 60__ 32_ u16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i16_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 670__ 60__ 32_ u32_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i16_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 671__ 60__ 32_ u64_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i16_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 672__ 60__ 32_ u128_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i16_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 673__ 60__ 32_ i8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i16_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 674__ 60__ 32_ usize_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i16_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 675__ 60__ 32_ u8_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i8_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 676__ 60__ 32_ u16_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i8_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 677__ 60__ 32_ u32_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i8_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 678__ 60__ 32_ u64_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i8_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 679__ 60__ 32_ u128_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i8_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 680__ 60__ 32_ usize_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ i8_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 681__ 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_ 682__ 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_ 683__ 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_ 684__ 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_ 685__ 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_ 686__ 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_ 687__ 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_ 688__ 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_ 689__ 60__ 32_ i64_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ usize_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from - _verus_
external_ ⚠fn_ specification_ 690__ 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_ 691__ 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_ 692__ 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_ 693__ 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_ 694__ 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_ 695__ 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_ 696__ 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_ 697__ 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_ 698__ 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_ 699__ 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_ 700__ 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_ 701__ 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_ 702__ 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_ 703__ 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_ 704__ 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_ 705__ 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_ 706__ 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_ 707__ 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_ 708__ 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_ 709__ 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_ 710__ 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_ 711__ 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_ 712__ 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_ 713__ 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_ 714__ 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_ 715__ 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_ 716__ 60__ 32_ i128_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ i64_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 717__ 60__ 32_ i64_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ i32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 718__ 60__ 32_ i128_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ i32_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 719__ 60__ 32_ i32_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ i16_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 720__ 60__ 32_ i64_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ i16_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 721__ 60__ 32_ isize_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ i16_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 722__ 60__ 32_ i128_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ i16_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 723__ 60__ 32_ i16_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ i8_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 724__ 60__ 32_ i32_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ i8_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 725__ 60__ 32_ i64_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ i8_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 726__ 60__ 32_ isize_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ i8_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 727__ 60__ 32_ i128_ 32_ as_ 32_ core_ 32__ 58__ 58__ 32_ convert_ 32__ 58__ 58__ 32_ From_ 32__ 60__ 32_ i8_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ from - _verus_
external_ ⚠fn_ specification_ 728__ 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_ 729__ 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_ 730__ 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_ 731__ 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_ 732__ 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_ 733__ 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_ 734__ 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_ 735__ 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_ 736__ 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_ 737__ 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_ 738__ 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_ 739__ 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_ 740__ 60__ 32_ T_ 32_ as_ 32_ Into_ 32__ 60__ 32_ U_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ into - _verus_
external_ ⚠fn_ specification_ 741__ 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_ 742__ 60__ 32_ T_ 32_ as_ 32_ TryFrom_ 32__ 60__ 32_ U_ 32__ 62__ 32__ 62__ 32__ 58__ 58__ 32_ try__ from