Function sequant::operator<=>(const ExprMatcher&, const ExprPtr&)¶
Defined in File expr_matcher.cpp
Function Documentation¶
-
std::partial_ordering sequant::operator<=>(const ExprMatcher &matcher, const ExprPtr &expr)¶
Back to top