From c94d3bb7c8e84a1a5d01d53c4879692bdefbffea Mon Sep 17 00:00:00 2001
From: Jens Maurer <Jens.Maurer@gmx.net>
Date: Wed, 29 Sep 2021 21:53:04 +0200
Subject: [PATCH] [tuple.apply] Move exposition-only functions to namespace std

and remove superfluous std:: qualification.
---
 source/utilities.tex | 18 +++++++++++-------
 1 file changed, 11 insertions(+), 7 deletions(-)

diff --git a/source/utilities.tex b/source/utilities.tex
index 01006242d9..2dbf5e8991 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -2015,10 +2015,12 @@
 \effects
 Given the exposition-only function:
 \begin{codeblock}
-template<class F, class Tuple, size_t... I>
-constexpr decltype(auto) @\placeholdernc{apply-impl}@(F&& f, Tuple&& t, index_sequence<I...>) {
+namespace std {
+  template<class F, class Tuple, size_t... I>
+  constexpr decltype(auto) @\placeholdernc{apply-impl}@(F&& f, Tuple&& t, index_sequence<I...>) {
                                                                         // \expos
-  return @\placeholdernc{INVOKE}@(std::forward<F>(f), std::get<I>(std::forward<Tuple>(t))...);  // see \ref{func.require}
+    return @\placeholdernc{INVOKE}@(std::forward<F>(f), get<I>(std::forward<Tuple>(t))...);     // see \ref{func.require}
+  }
 }
 \end{codeblock}
 Equivalent to:
@@ -2039,10 +2041,12 @@
 \effects
 Given the exposition-only function:
 \begin{codeblock}
-template<class T, class Tuple, size_t... I>
-  requires is_constructible_v<T, decltype(get<I>(declval<Tuple>()))...>
-constexpr T @\placeholdernc{make-from-tuple-impl}@(Tuple&& t, index_sequence<I...>) {     // \expos
-  return T(get<I>(std::forward<Tuple>(t))...);
+namespace std {
+  template<class T, class Tuple, size_t... I>
+    requires is_constructible_v<T, decltype(get<I>(declval<Tuple>()))...>
+  constexpr T @\placeholdernc{make-from-tuple-impl}@(Tuple&& t, index_sequence<I...>) {   // \expos
+    return T(get<I>(std::forward<Tuple>(t))...);
+  }
 }
 \end{codeblock}
 Equivalent to: