Skip to main content

Module maybe_uninit

vstd::std_specs

Module maybe_uninit 

Source

Structs§

ExMaybeUninit

Traits§

MaybeUninitAdditionalSpecFns

Functions§

_verus_external_fn_specification_382_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_new⚠
_verus_external_fn_specification_383_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_uninit⚠
_verus_external_fn_specification_384_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init⚠
_verus_external_fn_specification_385_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init__ref⚠
_verus_external_fn_specification_386_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init__mut⚠