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