If a module is recompiled, the compiler has to check whether the interface file must be updated. This must be done if any exported entity has been changed, or an export was removed or added. The function intfEquiv checks whether two interfaces are equivalent, i.e., whether they define the same entities.