bvToInt function

BvToInt bvToInt(
  1. Expr x, {
  2. bool signed = false,
})

Implementation

BvToInt bvToInt(Expr x, {bool signed = false}) => BvToInt(x, signed).declare();