BvExtract constructor

BvExtract(int high, int low, Expr arg)

Implementation

BvExtract(this.high, this.low, this.arg);