infix -
num.wrap_around.infix -
subtraction, with check for overflow
Precondition
pre else debug: !(overflow_on_sub other) debug: !(underflow_on_sub other)
Inherited from numeric.infix -
pre debug: (numeric.this -! other)
0.095dev (GIT hash cad6e82a0e3c9c244c113471b376798c2d702f2d)