{motive : Lean.Lsp.ParameterInformation → Sort u} →
  (t : Lean.Lsp.ParameterInformation) →
    ((label : Lean.Lsp.ParameterInformationLabel) →
        (documentation? : Option Lean.Lsp.MarkupContent) →
          motive { label := label, documentation? := documentation? }) →
      motive t