Type Definition Slice1
slice_n
type Slice1<T> = SliceN<T, 1>;
A slice guaranteed to contain at least one element.