bvToInt function

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

Implementation

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