isInt function

UnaryOp isInt(Expr x)

Implementation

UnaryOp isInt(Expr x) => UnaryOp(UnaryOpKind.isInt, x).declare();