fpaMul function

TernaryOp fpaMul(
  1. Expr x,
  2. Expr y
)

Implementation

TernaryOp fpaMul(Expr x, Expr y) =>
    TernaryOp(TernaryOpKind.fpaMul, fpaRne, x, y).declare();