intToReal function

UnaryOp intToReal(
  1. Expr x
)

Implementation

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