This module provides slice notation for array slices (a.k.a. Subarray) and implements an iterator for those slices.

instance instToIteratorSubarrayId {α : Type u} {s : Subarray α} : Std.Iterators.ToIterator s Id α