{motive : Lean.Lsp.SignatureHelpContext → Sort u} →
  (t : Lean.Lsp.SignatureHelpContext) →
    ((triggerKind : Lean.Lsp.SignatureHelpTriggerKind) →
        (triggerCharacter? : Option String) →
          (isRetrigger : Bool) →
            (activeSignatureHelp? : Option Lean.Lsp.SignatureHelp) →
              motive
                { triggerKind := triggerKind, triggerCharacter? := triggerCharacter?, isRetrigger := isRetrigger,
                  activeSignatureHelp? := activeSignatureHelp? }) →
      motive t