Function vstd::std_specs::vec::ex_vec_clear

pub exec fn ex_vec_clear<T, A: Allocator>(vec: &mut Vec<T, A>)

Expand description

ensures

vec.view() == Seq::<T>::empty(),

Function vstd::std_specs::vec::ex_vec_clearCopy item path