reverse_interval
interval.reverse_interval
Precondition
pre safety: T.zero -! step # We must be able to negate `step`, so `T` must be signed debug: through.ok && first.ok
0.099dev (GIT hash a68bce9af280552faedee34cd5433dc10b6454de)
pre safety: T.zero -! step # We must be able to negate `step`, so `T` must be signed debug: through.ok && first.ok
Complexity: O(1)