Module checked_mul

Source
Expand description

CheckedMul, a trait for multiplying two numbers and checking whether the result is representable.