Skip to main content

Module maybe_uninit

vstd::std_specs

Module maybe_uninit 

Source

Structs§

ExMaybeUninit

Traits§

MaybeUninitAdditionalSpecFns

Functions§

_verus_external_fn_specification_438_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_new⚠
_verus_external_fn_specification_439_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_uninit⚠
_verus_external_fn_specification_440_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init⚠
_verus_external_fn_specification_441_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init__ref⚠
_verus_external_fn_specification_442_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init__mut⚠