[exec.snd.expos] Align comments

Author: tkoeppe

source/exec.tex

@@ -1594,23 +1594,23 @@
 \begin{codeblock}
 namespace std::execution {
   template<class Tag>
-  concept @\defexposconcept{completion-tag}@ =                                      // \expos
+  concept @\defexposconceptnc{completion-tag}@ =                                      // \expos
     @\libconcept{same_as}@<Tag, set_value_t> || @\libconcept{same_as}@<Tag, set_error_t> || @\libconcept{same_as}@<Tag, set_stopped_t>;
 
   template<template<class...> class T, class... Args>
-  concept @\defexposconcept{valid-specialization}@ =                                // \expos
+  concept @\defexposconceptnc{valid-specialization}@ =                                // \expos
     requires { typename T<Args...>; };
 
-  struct @\exposid{default-impls}@ {                                        // \expos
-    static constexpr auto @\exposid{get-attrs}@ = @\seebelow@;              // \expos
-    static constexpr auto @\exposid{get-env}@ = @\seebelow@;                // \expos
-    static constexpr auto @\exposid{get-state}@ = @\seebelow@;              // \expos
-    static constexpr auto @\exposid{start}@ = @\seebelow@;                  // \expos
-    static constexpr auto @\exposid{complete}@ = @\seebelow@;               // \expos
+  struct @\exposidnc{default-impls}@ {                                        // \expos
+    static constexpr auto @\exposidnc{get-attrs}@ = @\seebelownc@;                // \expos
+    static constexpr auto @\exposidnc{get-env}@ = @\seebelownc@;                  // \expos
+    static constexpr auto @\exposidnc{get-state}@ = @\seebelownc@;                // \expos
+    static constexpr auto @\exposidnc{start}@ = @\seebelownc@;                    // \expos
+    static constexpr auto @\exposidnc{complete}@ = @\seebelownc@;                 // \expos
   };
 
   template<class Tag>
-  struct @\exposid{impls-for}@ : @\exposid{default-impls}@ {};       // \expos
+  struct @\exposidnc{impls-for}@ : @\exposidnc{default-impls}@ {};                          // \expos
 
   template<class Sndr, class Rcvr>                              // \expos
   using @\exposid{state-type}@ = decay_t<@\exposid{call-result-t}@<
@@ -1622,29 +1622,29 @@
     @\exposid{state-type}@<Sndr, Rcvr>&, const Rcvr&>;
 
   template<class Sndr, size_t I = 0>
-  using @\exposid{child-type}@ = decltype(declval<Sndr>().template @\exposid{get}@<I+2>());     // \expos
+  using @\exposidnc{child-type}@ = decltype(declval<Sndr>().template @\exposidnc{get}@<I+2>());             // \expos
 
   template<class Sndr>
-  using @\exposid{indices-for}@ = remove_reference_t<Sndr>::@\exposid{indices-for}@;           // \expos
+  using @\exposidnc{indices-for}@ = remove_reference_t<Sndr>::@\exposidnc{indices-for}@;                    // \expos
 
   template<class Sndr, class Rcvr>
-  struct @\exposid{basic-state}@ {                                          // \expos
+  struct @\exposidnc{basic-state}@ {                                          // \expos
     @\exposid{basic-state}@(Sndr&& sndr, Rcvr&& rcvr) noexcept(@\seebelow@)
       : @\exposid{rcvr}@(std::move(rcvr))
       , @\exposid{state}@(@\exposid{impls-for}@<tag_of_t<Sndr>>::@\exposid{get-state}@(std::forward<Sndr>(sndr), @\exposid{rcvr}@)) { }
 
-    Rcvr @\exposid{rcvr}@;                                                  // \expos
-    @\exposid{state-type}@<Sndr, Rcvr> @\exposid{state}@;                               // \expos
+    Rcvr @\exposidnc{rcvr}@;                                                  // \expos
+    @\exposidnc{state-type}@<Sndr, Rcvr> @\exposidnc{state}@;                               // \expos
   };
 
   template<class Sndr, class Rcvr, class Index>
     requires @\exposconcept{valid-specialization}@<@\exposid{env-type}@, Index, Sndr, Rcvr>
-  struct @\exposid{basic-receiver}@ {                                       // \expos
+  struct @\exposidnc{basic-receiver}@ {                                       // \expos
     using receiver_concept = receiver_t;
 
-    using @\exposid{tag-t}@ = tag_of_t<Sndr>;                               // \expos
-    using @\exposid{state-t}@ = @\exposid{state-type}@<Sndr, Rcvr>;                     // \expos
-    static constexpr const auto& @\exposid{complete}@ = @\exposid{impls-for}@<@\exposid{tag-t}@>::@\exposid{complete}@;   // \expos
+    using @\exposidnc{tag-t}@ = tag_of_t<Sndr>;                               // \expos
+    using @\exposidnc{state-t}@ = @\exposidnc{state-type}@<Sndr, Rcvr>;                     // \expos
+    static constexpr const auto& @\exposidnc{complete}@ = @\exposidnc{impls-for}@<@\exposidnc{tag-t}@>::@\exposidnc{complete}@;         // \expos
 
     template<class... Args>
       requires @\exposconcept{callable}@<decltype(@\exposid{complete}@), Index, @\exposid{state-t}@&, Rcvr&, set_value_t, Args...>
@@ -1667,25 +1667,25 @@
       return @\exposid{impls-for}@<tag-t>::@\exposid{get-env}@(Index(), op->@\exposid{state}@, op->@\exposid{rcvr}@);
     }
 
-    @\exposid{basic-state}@<Sndr, Rcvr>* @\exposid{op}@;                           // \expos
+    @\exposidnc{basic-state}@<Sndr, Rcvr>* @\exposidnc{op}@;                                // \expos
   };
 
-  constexpr auto @\exposid{connect-all}@ = @\seebelow@;                         // \expos
+  constexpr auto @\exposidnc{connect-all}@ = @\seebelownc@;                       // \expos
 
   template<class Sndr, class Rcvr>
-  using @\exposid{connect-all-result}@ = @\exposid{call-result-t}@<                     // \expos
+  using @\exposidnc{connect-all-result}@ = @\exposidnc{call-result-t}@<                     // \expos
     decltype(@\exposid{connect-all}@), @\exposid{basic-state}@<Sndr, Rcvr>*, Sndr, @\exposid{indices-for}@<Sndr>>;
 
   template<class Sndr, class Rcvr>
     requires @\exposconcept{valid-specialization}@<@\exposid{state-type}@, Sndr, Rcvr> &&
              @\exposconcept{valid-specialization}@<@\exposid{connect-all-result}@, Sndr, Rcvr>
-  struct @\exposid{basic-operation}@ : @\exposid{basic-state}@<Sndr, Rcvr> {                // \expos
+  struct @\exposidnc{basic-operation}@ : @\exposidnc{basic-state}@<Sndr, Rcvr> {            // \expos
     using operation_state_concept = operation_state_t;
-    using @\exposid{tag-t}@ = tag_of_t<Sndr>;                               // \expos
+    using @\exposidnc{tag-t}@ = tag_of_t<Sndr>;                               // \expos
 
-    @\exposid{connect-all-result}@<Sndr, Rcvr> @\exposid{inner-ops}@;              // \expos
+    @\exposidnc{connect-all-result}@<Sndr, Rcvr> @\exposidnc{inner-ops}@;                   // \expos
 
-    @\exposid{basic-operation}@(Sndr&& sndr, Rcvr&& rcvr) noexcept(@\seebelow@)  // \expos
+    @\exposidnc{basic-operation}@(Sndr&& sndr, Rcvr&& rcvr) noexcept(@\seebelownc@)               // \expos
       : @\exposid{basic-state}@<Sndr, Rcvr>(std::forward<Sndr>(sndr), std::move(rcvr)),
         @\exposid{inner-ops}@(@\exposid{connect-all}@(this, std::forward<Sndr>(sndr), @\exposid{indices-for}@<Sndr>()))
     {}
@@ -1697,12 +1697,12 @@
   };
 
   template<class Sndr, class Env>
-  using @\exposid{completion-signatures-for}@ = @\seebelow@;                   // \expos
+  using @\exposidnc{completion-signatures-for}@ = @\seebelownc@;                  // \expos
 
   template<class Tag, class Data, class... Child>
-  struct @\exposid{basic-sender}@ : @\exposid{product-type}@<Tag, Data, Child...> {    // \expos
+  struct @\exposidnc{basic-sender}@ : @\exposidnc{product-type}@<Tag, Data, Child...> {     // \expos
     using sender_concept = sender_t;
-    using @\exposid{indices-for}@ = index_sequence_for<Child...>;       // \expos
+    using @\exposidnc{indices-for}@ = index_sequence_for<Child...>;           // \expos
 
     decltype(auto) get_env() const noexcept {
       auto& [_, data, ...child] = *this;