trait Ashl: DInt { // Provided method fn ashl(self, shl: u32) -> Self { ... } }
Returns a << b, requires b < Self::BITS
a << b
b < Self::BITS