| 1726 | Expression is_valid(Expression lhs) { return call("is_valid", {std::move(lhs)}); } |
| 1727 | |
| 1728 | Expression and_(Expression lhs, Expression rhs) { |
| 1729 | return call("and_kleene", {std::move(lhs), std::move(rhs)}); |
| 1730 | } |
| 1731 | |
| 1732 | Expression and_(const std::vector<Expression>& operands) { |
| 1733 | if (operands.empty()) return literal(true); |