{motive : ProofWidgets.MakeEditLinkProps → Sort u} →
  (t : ProofWidgets.MakeEditLinkProps) →
    ((edit : Lean.Lsp.TextDocumentEdit) →
        (newSelection? : Option Lean.Lsp.Range) →
          (title? : Option String) → motive { edit := edit, newSelection? := newSelection?, title? := title? }) →
      motive t