∀ (info : Lean.SourceInfo) (rawVal : Substring.Raw) (val : Lean.Name) (preresolved : List Lean.Syntax.Preresolved)
  (info_1 : Lean.SourceInfo) (rawVal_1 : Substring.Raw) (val_1 : Lean.Name)
  (preresolved_1 : List Lean.Syntax.Preresolved),
  (Lean.Syntax.ident info rawVal val preresolved = Lean.Syntax.ident info_1 rawVal_1 val_1 preresolved_1) =
    (info = info_1 ∧ rawVal = rawVal_1 ∧ val = val_1 ∧ preresolved = preresolved_1)