ptr_mut_from_nonull
vstd_
extra
In vstd_
extra::
external::
nonnull
vstd_extra
::
external
::
nonnull
Function
ptr_
mut_
from_
nonull
Copy item path
Source
pub
uninterp
fn ptr_mut_from_nonull<T:
PointeeSized
>(ptr:
NonNull
<T>) ->
*mut T
Expand description