{motive : Lean.Lsp.SignatureInformation → Sort u} →
  ((label : String) →
      (documentation? : Option Lean.Lsp.MarkupContent) →
        (parameters? : Option (Array Lean.Lsp.ParameterInformation)) →
          (activeParameter? : Option ℕ) →
            motive
              { label := label, documentation? := documentation?, parameters? := parameters?,
                activeParameter? := activeParameter? }) →
    (t : Lean.Lsp.SignatureInformation) → motive t