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