bvSignExt function

PUnaryOp bvSignExt(
  1. Expr x,
  2. int y
)

Implementation

PUnaryOp bvSignExt(Expr x, int y) =>
    PUnaryOp(PUnaryOpKind.signExt, x, y).declare();