∀ (fieldNames fieldNames_1 : Array Lean.Name),
  (Lean.Server.Overview.ProtocolExtensionKind.extendedResponseType✝ fieldNames =
      Lean.Server.Overview.ProtocolExtensionKind.extendedResponseType✝¹ fieldNames_1) =
    (fieldNames = fieldNames_1)