This MR adds a simple range function on integers to stdpp. Calling range m n results in the range m, m + 1, ..., n - 1 and is empty, if m >= n.
range m n
m, m + 1, ..., n - 1
m >= n