{motive : Lean.Lsp.SemanticTokenModifier → Sort u} →
  (t : Lean.Lsp.SemanticTokenModifier) →
    motive Lean.Lsp.SemanticTokenModifier.declaration →
      motive Lean.Lsp.SemanticTokenModifier.definition →
        motive Lean.Lsp.SemanticTokenModifier.readonly →
          motive Lean.Lsp.SemanticTokenModifier.static →
            motive Lean.Lsp.SemanticTokenModifier.deprecated →
              motive Lean.Lsp.SemanticTokenModifier.abstract →
                motive Lean.Lsp.SemanticTokenModifier.async →
                  motive Lean.Lsp.SemanticTokenModifier.modification →
                    motive Lean.Lsp.SemanticTokenModifier.documentation →
                      motive Lean.Lsp.SemanticTokenModifier.defaultLibrary → motive t