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}
(s : Slice γ)
[Iterators.ToIterator s Id β]
:
Iter β
Returns an iterator over the given slice. This iterator will emit the elements of the slice in increasing order of the indices.