Module maybe_uninit 

Structs

ExMaybeUninit

Traits

MaybeUninitAdditionalSpecFns

Functions

_verus_external_fn_specification_597_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_new^⚠

_verus_external_fn_specification_598_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_uninit^⚠

_verus_external_fn_specification_599_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init^⚠

_verus_external_fn_specification_600_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init__ref^⚠