Module core

vstd

Module core

Module Items

Structs
Traits
Functions

In vstd::std_specs

Modules

alloc
atomic
bits
borrow
clone
control_flow
core
hash
num
option
range
result
slice
smart_ptrs
vec
vecdeque

Structs

VstdSpecsForRustStdLib

vstd::std_specs

Module core

Settings

Help

Structs§

ExDuration
ExManuallyDrop
ExOption
ExPhantomData
ExResult

Traits§

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

Functions§

_verus_external_fn_specification_41_T_32__58__58__32_into^⚠
_verus_external_fn_specification_42_core_32__58__58__32_mem_32__58__58__32_swap_32__58__58__32__60__32_T_32__62_^⚠
_verus_external_fn_specification_43_I_32__58__58__32_into__iter^⚠
_verus_external_fn_specification_44_core_32__58__58__32_intrinsics_32__58__58__32_likely^⚠
_verus_external_fn_specification_45_core_32__58__58__32_intrinsics_32__58__58__32_unlikely^⚠
_verus_external_fn_specification_46_bool_32__58__58__32_then^⚠
_verus_external_fn_specification_47__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_48__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_49__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_50__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_51__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_52__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_53__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_54__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_55__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_56__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_57__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_58__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