Functions§
- _verus_
external_ ⚠fn_ specification_ 29__ 60__ 32__ 42__ 32_ const_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ map__ addr - _verus_
external_ ⚠fn_ specification_ 30__ 60__ 32__ 42__ 32_ mut_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ map__ addr - _verus_
external_ ⚠fn_ specification_ 31__ 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_ 32__ 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_ 33__ 60__ 32__ 42__ 32_ mut_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ cast__ const - _verus_
external_ ⚠fn_ specification_ 34__ 60__ 32__ 42__ 32_ const_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ cast__ mut - _verus_
external_ ⚠fn_ specification_ 35__ 60__ 32__ 42__ 32_ const_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ is__ null - _verus_
external_ ⚠fn_ specification_ 36__ 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