Skip to main content

Module core

Module core 

Source

Structs§

ExAssertParamIsClone
ExDuration
ExOption
ExOrdering
ExPhantomData
ExResult

Traits§

ExAllocator
ExBorrow
ExDebug
ExDeref
ExDerefMut
ExDisplay
ExFn
ExFnMut
ExFnOnce
ExFreeze
ExHash
ExIndex
ExIndexMut
ExInteger
ExMetaSized
ExPtrPointee
ExSpecOrd
ExStructural
ExTuple
IndexSetTrustedSpec
IndexSpec
IndexSpecImpl

Functions§

_verus_external_fn_specification_201_core_32__58__58__32_mem_32__58__58__32_swap_32__58__58__32__60__32_T_32__62_
_verus_external_fn_specification_202_core_32__58__58__32_intrinsics_32__58__58__32_likely
_verus_external_fn_specification_203_core_32__58__58__32_intrinsics_32__58__58__32_unlikely
_verus_external_fn_specification_204_bool_32__58__58__32_then
index_set