Member predicate Operations::Compare::compares

Whether as part of this comparison ‘left’ is compared with ‘right’ using the operator ‘op’. For example, the comparison a<b<c compares(a, b, <) and compares(b, c, <).

predicate compares(Expr left, Cmpop op, Expr right)