@[extern lean_nat_shiftl]
Instances For
@[extern lean_nat_shiftr]
Instances For
Equations
- Nat.instShiftLeft = { shiftLeft := Nat.shiftLeft }
Equations
- Nat.instShiftRight = { shiftRight := Nat.shiftRight }
testBit #
We define an operation for testing individual bits in the binary representation of a number.