Module checked_div

Source
Expand description

CheckedDiv, a trait for dividing two numbers and checking whether the result is representable.