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