sbvToInt function

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

Implementation

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