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