infix *
num.wrap_around.infix *
multiplication, with check for overflow
Precondition
pre else debug: !(overflow_on_mul other) debug: !(underflow_on_mul other)
Inherited from numeric.infix *
pre debug: (numeric.this *! other)
Arguments
0.099dev (GIT hash bf4ead724d7f3fdab43a87b63c17477c916c8995)