(self, rhs: R)
| 66 | BoolExpr::Eq(self.into(), rhs.to_expr()) |
| 67 | } |
| 68 | pub fn ne<R: RHS<T, V>>(self, rhs: R) -> BoolExpr<T> { |
| 69 | BoolExpr::Ne(self.into(), rhs.to_expr()) |
| 70 | } |
| 71 | pub fn gt<R: RHS<T, V>>(self, rhs: R) -> BoolExpr<T> { |
| 72 | BoolExpr::Gt(self.into(), rhs.to_expr()) |
| 73 | } |