{motive : Lean.Lsp.ParameterInformationLabel → Sort u} →
  (t : Lean.Lsp.ParameterInformationLabel) →
    ((name : String) → motive (Lean.Lsp.ParameterInformationLabel.name name)) →
      ((startUtf16Offset endUtf16Offset : ℕ) →
          motive (Lean.Lsp.ParameterInformationLabel.range startUtf16Offset endUtf16Offset)) →
        motive t