Structs§
Traits§
Functions§
- _verus_
external_ ⚠fn_ specification_ 142_ Manually Drop_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ new - _verus_
external_ ⚠fn_ specification_ 143_ Manually Drop_ 32__ 58__ 58__ 32__ 60__ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ into__ inner - _verus_
external_ ⚠fn_ specification_ 144__ 60__ 32_ Manually Drop_ 32__ 60__ 32_ T_ 32__ 62__ 32_ as_ 32_ Clone_ 32__ 62__ 32__ 58__ 58__ 32_ clone - _verus_
external_ ⚠fn_ specification_ 145__ 60__ 32_ Manually Drop_ 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