Module maybe_uninit 

Structs

ExMaybeUninit

Traits

MaybeUninitAdditionalSpecFns

Functions

_verus_external_fn_specification_564_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_new^⚠

_verus_external_fn_specification_565_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_uninit^⚠

_verus_external_fn_specification_566_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init^⚠

_verus_external_fn_specification_567_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init__ref^⚠