pub fn shr_le(a: BitVec<u8, Msb0>, b: BitVec<u8, Msb0>) -> BitVec<u8, Msb0>
Right shift a by b positions, little-endian byte order. Result width matches a. Shifts by the operand width or more produce zero.
a
b