IfExpr
Wire spec for a ternary if (cond) then else otherwise.
Properties
Functions
Build Div of two expressions.
Divide this expression by a literal rhs.
Exact equality (no tolerance).
Exact equality against a literal (no tolerance).
Greater-or-equal comparison.
Greater-or-equal against a literal.
Strictly-greater-than comparison.
Strictly-greater-than against a literal.
Less-or-equal comparison.
Less-or-equal against a literal.
Strictly-less-than comparison.
Strictly-less-than against a literal.
Build Sub of two expressions.
Subtract a literal rhs from this expression.
Build Add of two expressions.
Add a literal rhs to this expression.
Build Mul of two expressions.
Multiply this expression by a literal rhs.
Unary minus: wraps in Neg.
IfExpr
cond
eval
otherwise
Branch returned when cond is false.
then
Branch returned when cond is true.