SeqZ Function
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.
Edited by Robbert Krebbers
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.