Function vstd::std_specs::vec::spec_vec_len

pub open spec fn spec_vec_len<T, A: Allocator>(v: &Vec<T, A>) -> usize

{}