This module provides slice notation for array slices (a.k.a. Subarray
) and implements an iterator
for those slices.
instance
instSliceableArrayNatSubarrayOfClosedOpenIntersection
{shape : Std.PRange.RangeShape}
{α : Type u}
[Std.PRange.ClosedOpenIntersection shape Nat]
:
Std.Slice.Sliceable shape (Array α) Nat (Subarray α)
Equations
- One or more equations did not get rendered due to their size.