fpaToIeeeBv function

Expr fpaToIeeeBv(
  1. Expr x
)

Implementation

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