On 2021-07-06 09:54 -1000, Shiro Kawai wrote:
> Thanks Wolfgang,
> I updated PR accordingly.  How about this:

Thanks.  However, it includes my mistake ("the sum of the total
accessing time of *range*", which makes no sense), so I'd like to
fix that.

For comparison, range-take-while and -drop-while have

"The runtime of these procedures is asymptotically bounded by the
total accessing time of the range."

Thanks again for patching this.

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>

"In these days the angel of topology and the devil of abstract algebra
fight for the soul of each individual mathematical domain."
--Hermann Weyl