Skip to main content
spec_nonnull_as_ptr
vstd
In vstd::
std_
specs::
ptr
vstd
::
std_specs
::
ptr
Function
spec_
nonnull_
as_
ptr
Copy item path
Source
pub
uninterp spec
fn spec_nonnull_as_ptr<T:
PointeeSized
>(p:
NonNull
<T>) ->
*mut T
Expand description