ite function

TernaryOp ite(
  1. Expr x,
  2. Expr y,
  3. Expr z
)

Implementation

TernaryOp ite(Expr x, Expr y, Expr z) =>
    TernaryOp(TernaryOpKind.ite, x, y, z).declare();