∀ (structName : Lean.Name) (fieldNames : Array Lean.Name) (fieldInfo : Array Lean.StructureFieldInfo)
  (parentInfo : Array Lean.StructureParentInfo) (structName_1 : Lean.Name) (fieldNames_1 : Array Lean.Name)
  (fieldInfo_1 : Array Lean.StructureFieldInfo) (parentInfo_1 : Array Lean.StructureParentInfo),
  ({ structName := structName, fieldNames := fieldNames, fieldInfo := fieldInfo, parentInfo := parentInfo } =
      { structName := structName_1, fieldNames := fieldNames_1, fieldInfo := fieldInfo_1,
        parentInfo := parentInfo_1 }) =
    (structName = structName_1 ∧ fieldNames = fieldNames_1 ∧ fieldInfo = fieldInfo_1 ∧ parentInfo = parentInfo_1)