On Friday, 19 October 2018 at 17:40:59 UTC, Carl Sturtivant wrote:
If we imagine an Ordered Range being a finite Range of some kind with the additional property that its values are ordered (--- exact definition needed ---)...
There's already a SortedRange: https://dlang.org/phobos/std_range.html#.SortedRange
