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