pub(crate) trait UMulo: Int + DInt { // Provided method fn mulo(self, rhs: Self) -> (Self, bool) { ... } }