Function vstd::std_specs::vec::ex_vec_push

source · 
pub exec fn ex_vec_push<T, A: Allocator>(vec: &mut Vec<T, A>, value: T)
Expand description
ensures
vec@ == old(vec)@.push(value),