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}
[Iterators.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.