fixup: fixed a number of formatting issues and a type (he -> The)

Author: dietmarkuehl

source/exec.tex

@@ -5789,7 +5789,7 @@
 \pnum
 \exposid{inline-sender} is an exposition-only type that satisfies
 \libconcept{sender}.
-he type \tcode{completion_signatures_of_t<\exposid{inline-sender}>}
+The type \tcode{completion_signatures_of_t<\exposid{inline-sender}>}
 is \tcode{completion_signatures<set_value_t()>}.
 
 \pnum
@@ -5810,16 +5810,16 @@
 \end{itemize}
 
 \pnum
-Let \placeholder{o} be a non-\tcode{const} lvalue of type
-\tcode{\exposid{inline-state}<Rcvr>}, and let \tcode{REC(@\placeholder{o}@)} be
+Let \tcode{\placeholder{o}} be a non-\tcode{const} lvalue of type
+\tcode{\exposid{inline-state}<Rcvr>}, and let \tcode{REC(\placeholder{o})} be
 a non-\tcode{const} lvalue reference to an object of type \tcode{Rcvr} that
 was initialized with the expression \tcode{rcvr} passed to an
-invocation of \tcode{connect} that returned \placeholder{o}, then:
+invocation of \tcode{connect} that returned \tcode{\placeholder{o}}, then:
 \begin{itemize}
-\item the object to which \tcode{REC(@\placeholder{o}@)} refers remains valid for
-the lifetime of the object to which \tcode{@\placeholder{o}@} refers, and
-\item the expression \tcode{start(@\placeholder{o}@)} is equivalent to
-\tcode{set_value(std::move(REC(@\placeholder{o}@)))}.
+\item the object to which \tcode{REC(\placeholder{o})} refers remains valid for
+the lifetime of the object to which \tcode{\placeholder{o}} refers, and
+\item the expression \tcode{start(\placeholder{o})} is equivalent to
+\tcode{set_value(std::move(REC(\placeholder{o})))}.
 \end{itemize}
 
 \rSec2[exec.task.scheduler]{\tcode{execution::task_scheduler}}
@@ -5868,6 +5868,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \effects
 Initialize \exposid{sch_} with
@@ -5891,6 +5892,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \effects
 Returns an object of type \exposid{ts-sender} containing a sender
@@ -5903,6 +5905,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \effects
 Equivalent to: \tcode{return lhs == \exposid{SCHED}(rhs);}
@@ -5917,6 +5920,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \returns
 \tcode{false} if type of \tcode{\exposid{SCHED}(lhs)} is not \tcode{Sch},
@@ -5989,6 +5993,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \effects
 Equivalent to \tcode{start(st)} where \tcode{st} is the operation
@@ -6100,6 +6105,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \effects
 Initializes \exposid{handle} with \tcode{exchange(other.\exposid{handle},
@@ -6112,6 +6118,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \effects
 Equivalent to:
@@ -6128,6 +6135,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \expects
 \tcode{bool(\exposid{handle})} is \tcode{true}.
@@ -6154,21 +6162,19 @@
     void start() & noexcept;
 
 private:
-    using @\exposidnc{own-env-t}@ = @\seebelow@;     // \expos
-    coroutine_handle<promise_type> @\exposidnc{handle}@;  // \expos
-    remove_cvref_t<Rcvr>              @\exposidnc{rcvr}@;    // \expos
-    @\exposid{own-env-t}@                      @\exposidnc{own-env}@; // \expos
+    using @\exposidnc{own-env-t}@ = @\seebelow@;                 // \expos
+    coroutine_handle<promise_type> @\exposidnc{handle}@;       // \expos
+    remove_cvref_t<Rcvr>           @\exposidnc{rcvr}@;         // \expos
+    @\exposid{own-env-t}@                      @\exposidnc{own-env}@;     // \expos
     Environment                    @\exposidnc{environment}@; // \expos
   };
 }
 \end{codeblock}
 
-\begin{itemdescr}
 \pnum
 The type \exposid{own-env-t} is \tcode{Environment::template
 env_type<decltype(get_env(\brk{}declval\brk{}<Rcvr>(\brk{})))\brk{}>} if that
 \grammarterm{qualified-id} is valid and denotes a type, \tcode{env<>} otherwise.
-\end{itemdescr}
 
 \indexlibraryctor{task::\exposid{state}}%
 \begin{itemdecl}
@@ -6177,6 +6183,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \effects
 Initializes
@@ -6200,6 +6207,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \effects
 Equivalent to:
@@ -6215,6 +6223,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \effects
 Let \tcode{\placeholder{prom}} be the object \tcode{\exposid{handle}.promise()}.
@@ -6294,7 +6303,7 @@
     stop_source_type  @\exposidnc{source}@; // \expos
     stop_token_type   @\exposidnc{token}@;  // \expos
     optional<T>       @\exposidnc{result}@; // \expos; present only if \tcode{is_void_v<T>} is \tcode{false};
-    @\exposid{error-variant}@      @\exposidnc{errors}@; // \expos
+    @\exposid{error-variant}@    @\exposidnc{errors}@; // \expos
   };
 }
 \end{codeblock}
@@ -6321,6 +6330,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \mandates
 The first parameter of type \tcode{allocator_arg_t} (if any) is not
@@ -6340,6 +6350,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \returns
 A \tcode{task} object whose member \exposid{handle} is
@@ -6352,6 +6363,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \returns
 An awaitable object of unspecified type\iref{expr.await} whose
@@ -6369,6 +6381,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \returns
 An awaitable object of unspecified type\iref{expr.await} whose
@@ -6394,6 +6407,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \mandates
 \tcode{std::move(err.error)} is convertible to exactly one of the
@@ -6416,6 +6430,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \returns
 If \tcode{\libconcept{same_as}<inline_scheduler, scheduler_type>} is \tcode{true}
@@ -6431,6 +6446,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \effects
 Equivalent to:
@@ -6445,6 +6461,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \effects
 If the signature \tcode{set_error_t(exception_ptr)} is not an element
@@ -6458,13 +6475,15 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \effects
 Completes the asynchronous operation associated with \tcode{\exposid{STATE}(*this)}
 by invoking \tcode{set_stopped(std::move(\exposid{RCVR}(*this)))}.
 \end{itemdescr}
 
 \begin{itemdescr}
+
 \pnum
 \returns
 \tcode{noop_coroutine()}.
@@ -6476,6 +6495,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \returns
 An object \tcode{env} such that queries are forwarded as follows:
@@ -6498,6 +6518,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 If there is no parameter with type \tcode{allocator_arg_t} then let
 \tcode{\placeholder{alloc}} be \tcode{Allocator()}.
@@ -6538,6 +6559,7 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+
 \pnum
 \expects
 \tcode{pointer} was returned from an invocation of the above overload