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