Functions§
- _verus_
external_ ⚠fn_ specification_ 15__ 60__ 32__ 42__ 32_ const_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ map__ addr - _verus_
external_ ⚠fn_ specification_ 16__ 60__ 32__ 42__ 32_ mut_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ map__ addr - _verus_
external_ ⚠fn_ specification_ 17__ 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_ 18__ 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_ 19__ 60__ 32__ 42__ 32_ mut_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ cast__ const - _verus_
external_ ⚠fn_ specification_ 20__ 60__ 32__ 42__ 32_ const_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ cast__ mut - _verus_
external_ ⚠fn_ specification_ 21__ 60__ 32__ 42__ 32_ const_ 32_ T_ 32__ 62__ 32__ 58__ 58__ 32_ is__ null - _verus_
external_ ⚠fn_ specification_ 22__ 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