Slice iterator #
This module provides iterators over slices from Std.Slice via Std.Slice.iter.
@[inline]
def Std.Slice.iter {γ : Type u_1} {α β : Type u_2} [ToIterator (Slice γ) Id α β] (s : Slice γ) :
Iter β
Returns an iterator over the given slice. This iterator will emit the elements of the slice in increasing order of the indices.