Module malachite_base::num::arithmetic::mod_is_reduced

ModIsReduced, a trait for checking whether a number is reduced modulo another number.

mod_is_reduced

use malachite_base::num::arithmetic::traits::ModIsReduced;

assert_eq!(0u8.mod_is_reduced(&5), true);
assert_eq!(100u64.mod_is_reduced(&100), false);
assert_eq!(100u16.mod_is_reduced(&101), true);