bvBig function

BitVecNumeral bvBig(
  1. BigInt value,
  2. BitVecSort sort
)

Implementation

BitVecNumeral bvBig(BigInt value, BitVecSort sort) =>
    BitVecNumeral(value, sort);