Skip to main content

Module maybe_uninit

vstd::std_specs

Module maybe_uninit 

Source

Structs§

ExMaybeUninit

Traits§

MaybeUninitAdditionalSpecFns

Functions§

_verus_external_fn_specification_232_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_new⚠
_verus_external_fn_specification_233_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_uninit⚠
_verus_external_fn_specification_234_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init⚠
_verus_external_fn_specification_235_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init__ref⚠
_verus_external_fn_specification_236_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init__mut⚠