Did you know ... | Search Documentation: |
Function lsb/1 |
(IntExpr >> N) /\ 1 =:= 1
.
This is the (zero-origin) index of the least significant 1 bit in the
value of IntExpr, which must evaluate to a positive integer.
Errors for 0, negative integers, and non-integers.