Function sequant::operator==(const ExprMatcher&, const Expr&)

• Defined in File expr_matcher.cpp

Function Documentation

bool sequant::operator==(const ExprMatcher &matcher, const Expr &expr)