trait Ashr: DInt { // Provided method fn ashr(self, shr: u32) -> Self { ... } }
Returns arithmetic a >> b, requires b < Self::BITS
a >> b
b < Self::BITS