Module manually_drop 

Structs

ExManuallyDrop

Traits

ManuallyDropAdditionalFns

Functions

_verus_external_fn_specification_142_ManuallyDrop_32__58__58__32__60__32_T_32__62__32__58__58__32_new^⚠

_verus_external_fn_specification_143_ManuallyDrop_32__58__58__32__60__32_T_32__62__32__58__58__32_into__inner^⚠

_verus_external_fn_specification_144__60__32_ManuallyDrop_32__60__32_T_32__62__32_as_32_Clone_32__62__32__58__58__32_clone^⚠

_verus_external_fn_specification_145__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