Skip to main content

Module maybe_uninit

vstd::std_specs

Module maybe_uninit 

Source

Structs§

ExMaybeUninit

Traits§

MaybeUninitAdditionalSpecFns

Functions§

_verus_external_fn_specification_410_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_new⚠
_verus_external_fn_specification_411_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_uninit⚠
_verus_external_fn_specification_412_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init⚠
_verus_external_fn_specification_413_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init__ref⚠
_verus_external_fn_specification_414_MaybeUninit_32__58__58__32__60__32_T_32__62__32__58__58__32_assume__init__mut⚠