Function vstd::std_specs::vec::ex_vec_len

source · 
pub exec fn ex_vec_len<T, A: Allocator>(vec: &Vec<T, A>) -> len : usize
Expand description
ensures
len == spec_vec_len(vec),