Functions§
- _verus_
external_ ⚠fn_ specification_ 23__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ as__ ptr - _verus_
external_ ⚠fn_ specification_ 24__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ as__ mut__ ptr - _verus_
external_ ⚠fn_ specification_ 25_ core_ 32__ 58__ 58__ 32_ slice_ 32__ 58__ 58__ 32_ from__ raw__ parts_ 32__ 58__ 58__ 32__ 60__ 32__ 39_ a_ 44__ 32_ T_ 32__ 62_ - _verus_
external_ ⚠fn_ specification_ 26_ core_ 32__ 58__ 58__ 32_ slice_ 32__ 58__ 58__ 32_ from__ raw__ parts__ mut_ 32__ 58__ 58__ 32__ 60__ 32__ 39_ a_ 44__ 32_ T_ 32__ 62_ - as_
mut_ ptr_ spec - as_
ptr_ spec - axiom_
slice_ addr_ no_ overflow