genspect::operator== —
bool operator==(const function_symbol & x, const function_symbol & y);
Tests equality of function symbols f1 and f2. Function symbols f1 and f2 are considered equal if they have the same name, the same arity and the same value for the quoted attribute.