malachite_base::num::arithmetic

Module checked_add

Source
Expand description

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