Module malachite_base::num::arithmetic::checked_add

source ·
Expand description

CheckedAdd, a trait for adding two numbers and checking whether the result is representable.