Skip to main content
as_mut_ptr_spec
vstd_
extra
In vstd_
extra::
external::
slice
vstd_extra
::
external
::
slice
Function
as_
mut_
ptr_
spec
Copy item path
Source
pub
uninterp spec
fn as_mut_ptr_spec<T>(s: &mut
[T]
) ->
*mut T
Expand description