BvToInt constructor

BvToInt(Expr arg, bool signed)

Implementation

BvToInt(this.arg, this.signed);