Functions§
- _verus_
external_ ⚠fn_ specification_ 20__ 60__ 32__ 42__ 32_ const_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ map__ addr - _verus_
external_ ⚠fn_ specification_ 21__ 60__ 32__ 42__ 32_ mut_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ map__ addr - _verus_
external_ ⚠fn_ specification_ 22__ 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_ 23__ 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_ 24__ 60__ 32__ 42__ 32_ mut_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ cast__ const - _verus_
external_ ⚠fn_ specification_ 25__ 60__ 32__ 42__ 32_ const_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ cast__ mut - _verus_
external_ ⚠fn_ specification_ 26__ 60__ 32__ 42__ 32_ const_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ is__ null - _verus_
external_ ⚠fn_ specification_ 27__ 60__ 32__ 42__ 32_ mut_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ is__ null - ptr_
cast_ mut_ spec - ptr_
cast_ spec - ptr_
is_ null_ spec - ptr_
mut_ cast_ const_ spec - ptr_
mut_ cast_ spec - ptr_
mut_ is_ null_ spec