Function vstd::slice::spec_slice_lenCopy item path

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

{}