Function vstd::slice::slice_len

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

len == spec_slice_len(slice),