BitVecNumeral.from constructor

BitVecNumeral.from(
  1. int value, {
  2. int size = 64,
})

Implementation

factory BitVecNumeral.from(int value, {int size = 64}) {
  return BitVecNumeral(
    BigInt.from(value).toUnsigned(size),
    BitVecSort(size),
  );
}