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