Skip to main content

Module maybe_uninit

vstd::std_specs

Module maybe_uninit 

Source

Structs§

ExMaybeUninit

Traits§

MaybeUninitAdditionalSpecFns

Functions§

_verus_external_fn_specification_456_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_new⚠
_verus_external_fn_specification_457_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_uninit⚠
_verus_external_fn_specification_458_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init⚠
_verus_external_fn_specification_459_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init__ref⚠
_verus_external_fn_specification_460_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init__mut⚠