return false;
}
FunctionTypeImpl otherType = (FunctionTypeImpl) object;
// If the visitedTypePairs already has the pair (this, type), use the elements to determine equality
ElementPair elementPair = new ElementPair(getElement(), otherType.getElement());
if (!visitedElementPairs.add(elementPair)) {
return elementPair.getFirstElt().equals(elementPair.getSecondElt());
}
// Compute the result
boolean result = TypeImpl.equalArrays(
getNormalParameterTypes(),