Traits§
Functions§
- _verus_
external_ ⚠fn_ specification_ 35__ 60__ 32_ bool_ 32_ as_ 32_ Clone_ 32__ 62__ 32__ 58__ 58__ 32_ clone - _verus_
external_ ⚠fn_ specification_ 36__ 60__ 32_ char_ 32_ as_ 32_ Clone_ 32__ 62__ 32__ 58__ 58__ 32_ clone - _verus_
external_ ⚠fn_ specification_ 37__ 60__ 32__ 38__ 32__ 39_ b_ 32_ T_ 32_ as_ 32_ Clone_ 32__ 62__ 32__ 58__ 58__ 32_ clone - _verus_
external_ ⚠fn_ specification_ 38__ 60__ 32_ Tracked_ 32__ 60__ 32_ T_ 32__ 62__ 32_ as_ 32_ Clone_ 32__ 62__ 32__ 58__ 58__ 32_ clone - _verus_
external_ ⚠fn_ specification_ 39__ 60__ 32_ Ghost_ 32__ 60__ 32_ T_ 32__ 62__ 32_ as_ 32_ Clone_ 32__ 62__ 32__ 58__ 58__ 32_ clone