bvExtract function

BvExtract bvExtract(
  1. Expr x,
  2. int high,
  3. int low
)

Implementation

BvExtract bvExtract(Expr x, int high, int low) =>
    BvExtract(high, low, x).declare();