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