From 5d360272b6cc28bb8daa58908ec357d6d2e25abf Mon Sep 17 00:00:00 2001
From: Hewill Kang <hewillk@gmail.com>
Date: Wed, 26 Mar 2025 17:04:56 +0800
Subject: [PATCH] [range.to.input.view] Add missing namespace

---
 source/ranges.tex | 42 ++++++++++++++++++++++--------------------
 1 file changed, 22 insertions(+), 20 deletions(-)

diff --git a/source/ranges.tex b/source/ranges.tex
index 7f62429b91..158c7fd492 100644
--- a/source/ranges.tex
+++ b/source/ranges.tex
@@ -17636,33 +17636,35 @@
 \rSec3[range.to.input.view]{Class template \tcode{to_input_view}}
 
 \begin{codeblock}
-template<@\libconcept{input_range}@ V>
-  requires @\libconcept{view}@<V>
-class to_input_view : public view_interface<to_input_view<V>> {
-  V @\exposid{base_}@ = V();                        // \expos
+namespace std::ranges {
+  template<@\libconcept{input_range}@ V>
+    requires @\libconcept{view}@<V>
+  class to_input_view : public view_interface<to_input_view<V>> {
+    V @\exposid{base_}@ = V();                        // \expos
 
-  // \ref{range.to.input.iterator}, class template \tcode{to_input_view::\exposid{iterator}}
-  template<bool Const> class @\exposid{iterator}@;  // \expos
+    // \ref{range.to.input.iterator}, class template \tcode{to_input_view::\exposid{iterator}}
+    template<bool Const> class @\exposid{iterator}@;  // \expos
 
-public:
-  to_input_view() requires @\libconcept{default_initializable}@<V> = default;
-  constexpr explicit to_input_view(V base);
+  public:
+    to_input_view() requires @\libconcept{default_initializable}@<V> = default;
+    constexpr explicit to_input_view(V base);
 
-  constexpr V base() const & requires @\libconcept{copy_constructible}@<V> { return @\exposid{base_}@; }
-  constexpr V base() && { return std::move(@\exposid{base_}@); }
+    constexpr V base() const & requires @\libconcept{copy_constructible}@<V> { return @\exposid{base_}@; }
+    constexpr V base() && { return std::move(@\exposid{base_}@); }
 
-  constexpr auto begin() requires (!@\exposconcept{simple-view}@<V>);
-  constexpr auto begin() const requires @\libconcept{range}@<const V>;
+    constexpr auto begin() requires (!@\exposconcept{simple-view}@<V>);
+    constexpr auto begin() const requires @\libconcept{range}@<const V>;
 
-  constexpr auto end() requires (!@\exposconcept{simple-view}@<V>);
-  constexpr auto end() const requires @\libconcept{range}@<const V>;
+    constexpr auto end() requires (!@\exposconcept{simple-view}@<V>);
+    constexpr auto end() const requires @\libconcept{range}@<const V>;
 
-  constexpr auto size() requires @\libconcept{sized_range}@<V>;
-  constexpr auto size() const requires @\libconcept{sized_range}@<const V>;
-};
+    constexpr auto size() requires @\libconcept{sized_range}@<V>;
+    constexpr auto size() const requires @\libconcept{sized_range}@<const V>;
+  };
 
-template<class R>
-  to_input_view(R&&) -> to_input_view<views::all_t<R>>;
+  template<class R>
+    to_input_view(R&&) -> to_input_view<views::all_t<R>>;
+}
 \end{codeblock}
 
 \begin{itemdecl}