(motive : Lean.Syntax → Sort u_1) →
  (x : Lean.Syntax) →
    ((info : Lean.SourceInfo) →
        (rawVal : Substring.Raw) →
          (val : Lean.Name) →
            (preresolved : List Lean.Syntax.Preresolved) → motive (Lean.Syntax.ident info rawVal val preresolved)) →
      ((info : Lean.SourceInfo) → (v : String) → motive (Lean.Syntax.atom info v)) →
        ((x : Lean.Syntax) → motive x) → motive x