Function vstd::std_specs::vec::ex_vec_new

pub exec fn ex_vec_new<T>() -> v : Vec<T>

Expand description

ensures

v@ == Seq::<T>::empty(),

Function vstd::std_specs::vec::ex_vec_newCopy item path