return ex_to<symmetry>(s);
}
-class sy_is_less : public std::binary_function<ex, ex, bool> {
+class sy_is_less {
exvector::iterator v;
public:
}
};
-class sy_swap : public std::binary_function<ex, ex, void> {
+class sy_swap {
exvector::iterator v;
public: