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
That's nice. So perhaps all this can be done in using the existing machinery in Phobos.