Function vstd::slice::spec_slice_len

pub open spec fn spec_slice_len<T>(slice: &[T]) -> usize

{}