Function sequant::operator==(const ExprPtr&, const ExprPtr&)

Function Documentation

bool sequant::operator==(const ExprPtr &left, const ExprPtr &right)