malachite_base::num::arithmetic

Module checked_sub

Source
Expand description

CheckedSub, a trait for subtracting two numbers and checking whether the result is representable.