∀ {declName : Lean.Name} {config : Lean.Compiler.LCNF.Simp.Config} {inlineStack : List Lean.Name}
  {inlineStackOccs : Lean.PHashMap Lean.Name ℕ} {declName_1 : Lean.Name} {config_1 : Lean.Compiler.LCNF.Simp.Config}
  {inlineStack_1 : List Lean.Name} {inlineStackOccs_1 : Lean.PHashMap Lean.Name ℕ},
  { declName := declName, config := config, inlineStack := inlineStack, inlineStackOccs := inlineStackOccs } =
      { declName := declName_1, config := config_1, inlineStack := inlineStack_1,
        inlineStackOccs := inlineStackOccs_1 } →
    declName = declName_1 ∧ config = config_1 ∧ inlineStack = inlineStack_1 ∧ inlineStackOccs = inlineStackOccs_1