From 6f76f2c6bad20004ae4b0b4edcc4aad9664df365 Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Fri, 18 Jul 2025 10:39:31 +0800
Subject: [PATCH 1/2] [ranges.syn] Index miscellaneous alias templates

---
 source/ranges.tex | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/source/ranges.tex b/source/ranges.tex
index 2a606adfea..057e4b5683 100644
--- a/source/ranges.tex
+++ b/source/ranges.tex
@@ -63,27 +63,27 @@
     concept borrowed_range = @\seebelow@;
 
   template<class T>
-    using iterator_t = decltype(ranges::begin(declval<T&>()));
+    using @\libglobal{iterator_t}@ = decltype(ranges::begin(declval<T&>()));
   template<@\libconcept{range}@ R>
-    using sentinel_t = decltype(ranges::end(declval<R&>()));
+    using @\libglobal{sentinel_t}@ = decltype(ranges::end(declval<R&>()));
   template<@\libconcept{range}@ R>
-    using const_iterator_t = decltype(ranges::cbegin(declval<R&>()));
+    using @\libglobal{const_iterator_t}@ = decltype(ranges::cbegin(declval<R&>()));
   template<@\libconcept{range}@ R>
-    using const_sentinel_t = decltype(ranges::cend(declval<R&>()));
+    using @\libglobal{const_sentinel_t}@ = decltype(ranges::cend(declval<R&>()));
   template<@\libconcept{range}@ R>
-    using range_difference_t = iter_difference_t<iterator_t<R>>;
+    using @\libglobal{range_difference_t}@ = iter_difference_t<iterator_t<R>>;
   template<@\libconcept{sized_range}@ R>
-    using range_size_t = decltype(ranges::size(declval<R&>()));
+    using @\libglobal{range_size_t}@ = decltype(ranges::size(declval<R&>()));
   template<@\libconcept{range}@ R>
-    using range_value_t = iter_value_t<iterator_t<R>>;
+    using @\libglobal{range_value_t}@ = iter_value_t<iterator_t<R>>;
   template<@\libconcept{range}@ R>
-    using range_reference_t = iter_reference_t<iterator_t<R>>;
+    using @\libglobal{range_reference_t}@ = iter_reference_t<iterator_t<R>>;
   template<@\libconcept{range}@ R>
-    using range_const_reference_t = iter_const_reference_t<iterator_t<R>>;
+    using @\libglobal{range_const_reference_t}@ = iter_const_reference_t<iterator_t<R>>;
   template<@\libconcept{range}@ R>
-    using range_rvalue_reference_t = iter_rvalue_reference_t<iterator_t<R>>;
+    using @\libglobal{range_rvalue_reference_t}@ = iter_rvalue_reference_t<iterator_t<R>>;
   template<@\libconcept{range}@ R>
-    using range_common_reference_t = iter_common_reference_t<iterator_t<R>>;
+    using @\libglobal{range_common_reference_t}@ = iter_common_reference_t<iterator_t<R>>;
 
   // \ref{range.sized}, sized ranges
   template<class>
@@ -235,9 +235,9 @@
     requires @\seebelow@
   class basic_istream_view;                                                         // hosted
   template<class Val>
-    using istream_view = basic_istream_view<Val, char>;                             // hosted
+    using @\libglobal{istream_view}@ = basic_istream_view<Val, char>;                             // hosted
   template<class Val>
-    using wistream_view = basic_istream_view<Val, wchar_t>;                         // hosted
+    using @\libglobal{wistream_view}@ = basic_istream_view<Val, wchar_t>;                         // hosted
 
   namespace views {
     template<class T> constexpr @\unspecnc@ istream = @\unspecnc@;                  // hosted

From 36fbd8595a8270e3cdcf2c6d23d3bc40c2a2c44b Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Fri, 18 Jul 2025 10:08:34 +0800
Subject: [PATCH 2/2] [range.dangling] Index `borrowed_iterator_t` and
 `borrowed_subrange_t`

---
 source/ranges.tex | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/source/ranges.tex b/source/ranges.tex
index 057e4b5683..49105075b6 100644
--- a/source/ranges.tex
+++ b/source/ranges.tex
@@ -2298,6 +2298,8 @@
 model \libconcept{borrowed_range}.
 \end{example}
 
+\indexlibraryglobal{borrowed_iterator_t}%
+\indexlibraryglobal{borrowed_subrange_t}%
 \pnum
 For a type \tcode{R} that models \libconcept{range}:
 \begin{itemize}