Function vstd::std_specs::vec::ex_vec_as_slice

source · 
pub exec fn ex_vec_as_slice<T, A: Allocator>(vec: &Vec<T, A>) -> slice : &[T]
Expand description
ensures
slice@ == vec@,