∀ (instName : Lean.Name) (typeInfos : Array Lean.InductiveVal) (auxFunNames : Array Lean.Name) (usePartial : Bool)
  (instName_1 : Lean.Name) (typeInfos_1 : Array Lean.InductiveVal) (auxFunNames_1 : Array Lean.Name)
  (usePartial_1 : Bool),
  ({ instName := instName, typeInfos := typeInfos, auxFunNames := auxFunNames, usePartial := usePartial } =
      { instName := instName_1, typeInfos := typeInfos_1, auxFunNames := auxFunNames_1, usePartial := usePartial_1 }) =
    (instName = instName_1 ∧ typeInfos = typeInfos_1 ∧ auxFunNames = auxFunNames_1 ∧ usePartial = usePartial_1)