Module manually_drop

vstd::std_specs

Module manually_drop 

Source

Structs§

ExManuallyDrop

Traits§

ManuallyDropAdditionalFns

Functions§

_verus_external_fn_specification_568_ManuallyDrop_32__58__58__32__60__32_T_32__62__32__58__58__32_new⚠
_verus_external_fn_specification_569_ManuallyDrop_32__58__58__32__60__32_T_32__62__32__58__58__32_into__inner⚠
_verus_external_fn_specification_570__60__32_ManuallyDrop_32__60__32_T_32__62__32_as_32_Clone_32__62__32__58__58__32_clone⚠
_verus_external_fn_specification_571__60__32_ManuallyDrop_32__60__32_T_32__62__32_as_32_Deref_32__62__32__58__58__32_deref⚠
axiom_manually_drop_has_resolved
group_manually_drop_axioms