From e45db32a5da1b6972745ca936fbc786d474b9c05 Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Wed, 14 Oct 2026 13:57:37 +0800
Subject: [PATCH] [exec.snd.concepts] Index `tag_of_t`

---
 source/exec.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/source/exec.tex b/source/exec.tex
index 26a42d6707..4e5d3fb28d 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -2603,6 +2603,7 @@
 \end{codeblock}
 
 \pnum
+\indexlibraryglobal{tag_of_t}%
 Let \tcode{sndr} be an expression
 such that \tcode{decltype((sndr))} is \tcode{Sndr}.
 The type \tcode{tag_of_t<Sndr>} is as follows: