Module vstd::std_specs::core

Structs

• ExDuration
• ExManuallyDrop
• ExOption
• ExPhantomData
• ExResult

Traits

• ExAllocator
• ExBorrow
• ExDebug
• ExEq
• ExFreeze
• ExFrom
• ExHash
• ExIndex
• ExIndexMut
• ExInteger
• ExInto
• ExIntoIterator
• ExIterStep
• ExIterator
• ExOrd
• ExPartialEq
• ExPartialOrd
• ExPtrPointee
• ExSpecOrd
• ExStructural
• IndexSetTrustedSpec

Functions

• _verus_external_fn_specification_38_T_32__58__58__32_into^⚠
• _verus_external_fn_specification_39_core_32__58__58__32_mem_32__58__58__32_swap_32__58__58__32__60__32_T_32__62_^⚠
• _verus_external_fn_specification_40_I_32__58__58__32_into__iter^⚠
• _verus_external_fn_specification_41_core_32__58__58__32_intrinsics_32__58__58__32_likely^⚠
• _verus_external_fn_specification_42_core_32__58__58__32_intrinsics_32__58__58__32_unlikely^⚠
• _verus_external_fn_specification_43_bool_32__58__58__32_then^⚠
• _verus_external_fn_specification_44_core_32__58__58__32_hint_32__58__58__32_unreachable__unchecked^⚠
• _verus_external_fn_specification_45__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_46__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_47__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_48__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_49__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_50__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_51__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_52__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_53__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_54__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_55__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_56__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