(motive : Lean.Syntax → Sort u_1) →
  (stx : Lean.Syntax) →
    ((i : Lean.SourceInfo) →
        (k : Lean.SyntaxNodeKind) → (args : Array Lean.Syntax) → motive (Lean.Syntax.node i k args)) →
      ((stx : Lean.Syntax) → motive stx) → motive stx