vstd
In vstd::array
?
Settings
Function
vstd
::
array
::
ex_array_as_slice
Copy item path
source
·
[
−
]
pub
exec
fn ex_array_as_slice<T, const N:
usize
>(ar: &
[T; N]
) ->
out :
&
[T]
Expand description
ensures
ar@ == out@,