generalizing ranges?

Stream: lean4

[Alok Singh]

rust and haskell have some typeclasses for ranges. the [start:stop:step] syntax only supports nats.

[James Gallicchio]

I have done some work generalizing from ranges to arbitrary sequences of elements, and it would be pretty straightforward to generalize what I have to any linearly ordered type with addition.

This could be useful for providing ranges on UIntX and USize without too much code duplication. I'll look into it!