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