intToBv function

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

Implementation

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