Function vstd::slice::slice_len

pub exec fn slice_len<T>(slice: &[T]) -> usize

len == spec_slice_len(slice),