instance Std.PRange.instToStreamMkIterRangeIteratorOfUpwardEnumerableOfBoundedUpwardEnumerable {sl su : BoundShape} {α : Type u_1} [UpwardEnumerable α] [BoundedUpwardEnumerable sl α] : ToStream (PRange { lower := sl, upper := su } α) (Iter α)

Equations

• Std.PRange.instToStreamMkIterRangeIteratorOfUpwardEnumerableOfBoundedUpwardEnumerable = { toStream := fun (r : Std.PRange { lower := sl, upper := su } α) => Std.PRange.Internal.iter r }