vstd::slice

Function slice_to_vec

Source 
pub exec fn slice_to_vec<T: Copy>(slice: &[T]) -> out : Vec<T>
Expand description
ensures
out@ == slice@,