pub fn constrained_mod_add<T>(a: T, b: &T, m: &T) -> Twhere T: PartialOrd + WrappingAdd + WrappingSub, for<'a> &'a T: Rem<&'a T, Output = T>,
Version that works with references, requires WrappingAdd and WrappingSub traits to be implemented.
WrappingAdd
WrappingSub