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 9b94ad4b4a4bff2bf2be7d77be2c6e1fd7683c4d)
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)