Structs§
Functions§
- _verus_
external_ ⚠fn_ specification_ 5_ NonNull_ 32__ 58__ 58__ 32_ new__ unchecked - _verus_
external_ ⚠fn_ specification_ 6_ NonNull_ 32__ 58__ 58__ 32_ as__ ptr - _verus_
external_ ⚠fn_ specification_ 7_ NonNull_ 32__ 58__ 58__ 32_ dangling - axiom_
nonull_ from_ ptr_ mut_ eq - axiom_
nonull_ is_ nonnull - axiom_
ptr_ mut_ from_ nonull_ eq - group_
nonnull - nonnull_
dangling_ spec - nonnull_
from_ ptr_ mut - ptr_
mut_ from_ nonull