Functions§
- _verus_
external_ ⚠fn_ specification_ 9__ 60__ 32__ 42__ 32_ const_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ map__ addr - _verus_
external_ ⚠fn_ specification_ 10__ 60__ 32__ 42__ 32_ mut_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ map__ addr - _verus_
external_ ⚠fn_ specification_ 11__ 60__ 32__ 42__ 32_ const_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ cast_ 32__ 58__ 58__ 32__ 60__ 32_ U_ 32__ 62_ - _verus_
external_ ⚠fn_ specification_ 12__ 60__ 32__ 42__ 32_ mut_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ cast_ 32__ 58__ 58__ 32__ 60__ 32_ U_ 32__ 62_ - _verus_
external_ ⚠fn_ specification_ 13__ 60__ 32__ 42__ 32_ mut_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ cast__ const - _verus_
external_ ⚠fn_ specification_ 14__ 60__ 32__ 42__ 32_ const_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ cast__ mut - ptr_
cast_ mut_ spec - ptr_
cast_ spec - ptr_
mut_ cast_ const_ spec - ptr_
mut_ cast_ spec