Member predicate Make::PreGuard::isEquality
Holds if this guard tests equality between e1 and e2 upon evaluating
to eqval.
predicate isEquality(Expr e1, Expr e2, boolean eqval)Holds if this guard tests equality between e1 and e2 upon evaluating
to eqval.
predicate isEquality(Expr e1, Expr e2, boolean eqval)