msb method

BitVecNumeral msb()

A mask of the most significant bit i.e. 1 << (size - 1).

Implementation

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