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),