use crate::Uint; pub(crate) const fn sub_montgomery_form( a: &Uint, b: &Uint, modulus: &Uint, ) -> Uint { a.sub_mod(b, modulus) }