∀ (index : ℕ) (fvarId : Lean.FVarId) (userName : Lean.Name) (type value : Lean.Expr) (nondep : Bool)
  (kind : Lean.LocalDeclKind) (index_1 : ℕ) (fvarId_1 : Lean.FVarId) (userName_1 : Lean.Name)
  (type_1 value_1 : Lean.Expr) (nondep_1 : Bool) (kind_1 : Lean.LocalDeclKind),
  (Lean.LocalDecl.ldecl index fvarId userName type value nondep kind =
      Lean.LocalDecl.ldecl index_1 fvarId_1 userName_1 type_1 value_1 nondep_1 kind_1) =
    (index = index_1 ∧
      fvarId = fvarId_1 ∧ userName = userName_1 ∧ type = type_1 ∧ value = value_1 ∧ nondep = nondep_1 ∧ kind = kind_1)