Drop up to n
values from the stream s
.
Equations
Instances For
Read up to n
values from the stream s
as a list from first to last.
Equations
Instances For
Tail recursive version of Stream.take
.
Instances For
Inner loop for Stream.takeTR
.
Equations
Instances For
@[simp]
@[simp]