Module maybe_uninit 

Structs

ExMaybeUninit

Traits

MaybeUninitAdditionalSpecFns

Functions

_verus_external_fn_specification_592_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_new^⚠

_verus_external_fn_specification_593_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_uninit^⚠

_verus_external_fn_specification_594_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init^⚠

_verus_external_fn_specification_595_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init__ref^⚠