☰
vstd
In vstd::slice
?
Function
vstd
::
slice
::
slice_to_vec
source
·
[
−
]
pub
exec
fn slice_to_vec<T:
Copy
>(slice: &
[T]
) ->
out :
Vec
<T>
Expand description
ensures
out@ == slice@,