public int hashCode() { int code = name.hashCode(); for (Type arg : arg_types) code += arg.hashCode(); return code; }