Module core 

Structs

ExAssertParamIsClone

ExDuration

ExManuallyDrop

ExOption

ExOrdering

ExPhantomData

ExResult

Traits

ExAllocator

ExBorrow

ExDebug

ExDeref

ExDisplay

ExFreeze

ExHash

ExIndex

ExIndexMut

ExInteger

ExIntoIterator

ExIterStep

ExIterator

ExMetaSized

ExPtrPointee

ExSpecOrd

ExStructural

IndexSetTrustedSpec

Functions

_verus_external_fn_specification_73_core_32__58__58__32_mem_32__58__58__32_swap_32__58__58__32__60__32_T_32__62_^⚠

_verus_external_fn_specification_74__60__32_I_32_as_32_IntoIterator_32__62__32__58__58__32_into__iter^⚠

_verus_external_fn_specification_75_core_32__58__58__32_intrinsics_32__58__58__32_likely^⚠

_verus_external_fn_specification_76_core_32__58__58__32_intrinsics_32__58__58__32_unlikely^⚠

_verus_external_fn_specification_77_bool_32__58__58__32_then^⚠

index_set

iter_into_iter_spec