sbvToInt function

BvToInt sbvToInt(
  1. Expr x, {
  2. bool signed = true,
})

Implementation

BvToInt sbvToInt(Expr x, {bool signed = true}) => BvToInt(x, signed).declare();