bvBig function

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

Creates a BitVecNumeral from a BigInt value.

Implementation

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