(motive : Lean.Lsp.TextDocumentContentChangeEvent → Sort u_1) →
  (x : Lean.Lsp.TextDocumentContentChangeEvent) →
    ((range : Lean.Lsp.Range) →
        (newText : String) → motive (Lean.Lsp.TextDocumentContentChangeEvent.rangeChange range newText)) →
      ((newText : String) → motive (Lean.Lsp.TextDocumentContentChangeEvent.fullChange newText)) → motive x