[execpol] Merge existing <execution> header synopsis into [exec]

Author: jensmaurer

source/exec.tex

@@ -388,9 +388,36 @@
 whose return type is not the type of a sender.
 \end{itemize}
 
-\rSec1[exec.syn]{Header \tcode{<execution>} synopsis}
+\rSec1[execution.syn]{Header \tcode{<execution>} synopsis}
 
+\indexheader{execution}%
 \begin{codeblock}
+namespace std {
+  // \ref{execpol.type}, execution policy type trait
+  template<class T> struct is_execution_policy;
+  template<class T> constexpr bool @\libglobal{is_execution_policy_v}@ = is_execution_policy<T>::value;
+}
+
+namespace std::execution {
+  // \ref{execpol.seq}, sequenced execution policy
+  class sequenced_policy;
+
+  // \ref{execpol.par}, parallel execution policy
+  class parallel_policy;
+
+  // \ref{execpol.parunseq}, parallel and unsequenced execution policy
+  class parallel_unsequenced_policy;
+
+  // \ref{execpol.unseq}, unsequenced execution policy
+  class unsequenced_policy;
+
+  // \ref{execpol.objects}, execution policy objects
+  inline constexpr sequenced_policy            seq{ @\unspec@ };
+  inline constexpr parallel_policy             par{ @\unspec@ };
+  inline constexpr parallel_unsequenced_policy par_unseq{ @\unspec@ };
+  inline constexpr unsequenced_policy          unseq{ @\unspec@ };
+}
+
 namespace std {
   // \ref{exec.general}, helper concepts
   template<class T>

source/utilities.tex

@@ -15214,6 +15214,7 @@
 object of an execution policy type indicates the kinds of parallelism allowed
 in the execution of an algorithm and expresses the consequent requirements on
 the element access functions.
+Execution policy types are declared in header \libheaderref{execution}.
 \begin{example}
 \begin{codeblock}
 using namespace std;
@@ -15239,37 +15240,6 @@
 parameters for efficient execution.
 \end{note}
 
-\rSec2[execution.syn]{Header \tcode{<execution>} synopsis}
-
-\indexheader{execution}%
-\begin{codeblock}
-namespace std {
-  // \ref{execpol.type}, execution policy type trait
-  template<class T> struct is_execution_policy;
-  template<class T> constexpr bool @\libglobal{is_execution_policy_v}@ = is_execution_policy<T>::value;
-}
-
-namespace std::execution {
-  // \ref{execpol.seq}, sequenced execution policy
-  class sequenced_policy;
-
-  // \ref{execpol.par}, parallel execution policy
-  class parallel_policy;
-
-  // \ref{execpol.parunseq}, parallel and unsequenced execution policy
-  class parallel_unsequenced_policy;
-
-  // \ref{execpol.unseq}, unsequenced execution policy
-  class unsequenced_policy;
-
-  // \ref{execpol.objects}, execution policy objects
-  inline constexpr sequenced_policy            seq{ @\unspec@ };
-  inline constexpr parallel_policy             par{ @\unspec@ };
-  inline constexpr parallel_unsequenced_policy par_unseq{ @\unspec@ };
-  inline constexpr unsequenced_policy          unseq{ @\unspec@ };
-}
-\end{codeblock}
-
 \rSec2[execpol.type]{Execution policy type trait}
 
 \indexlibraryglobal{is_execution_policy}%
@@ -15399,7 +15369,7 @@
 
 \begin{itemdescr}
 \pnum
-The header \libheader{execution} declares global objects associated with each type of execution policy.
+The header \libheaderref{execution} declares global objects associated with each type of execution policy.
 \end{itemdescr}
 
 \rSec1[charconv]{Primitive numeric conversions}