uMax method

BitVecNumeral uMax()

The largest unsigned value i.e. (1 << size) - 1.

Implementation

BitVecNumeral uMax() =>
    BitVecNumeral((BigInt.one << size) - BigInt.one, this);