Functions§
- _verus_
external_ ⚠fn_ specification_ 41__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ as__ ptr - _verus_
external_ ⚠fn_ specification_ 42__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ as__ mut__ ptr - _verus_
external_ ⚠fn_ specification_ 43_ 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_ 44_ 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_ - _verus_
external_ ⚠fn_ specification_ 45__ 60__ 32__ 91_ T_ 93__ 32__ 62__ 32__ 58__ 58__ 32_ fill - as_
mut_ ptr_ spec - as_
ptr_ spec - axiom_
slice_ addr_ no_ overflow