fixup: undefined concepts

Author: jensmaurer

source/exec.tex

@@ -536,14 +536,14 @@
     using tag_of_t = @\seebelow@;
 
   // \ref{exec.snd.transform}, sender transformations
-  template<class Domain, @\libconcept{sender}@ Sndr, @\libconcept{queryable}@... Env>
+  template<class Domain, @\libconcept{sender}@ Sndr, @\exposconcept{queryable}@... Env>
       requires (sizeof...(Env) <= 1)
     constexpr @\libconcept{sender}@ decltype(auto) transform_sender(
       Domain dom, Sndr&& sndr, const Env&... env) noexcept(@\seebelow@);
 
   // \ref{exec.snd.transform.env}, environment transformations
-  template<class Domain, @\libconcept{sender}@ Sndr, @\libconcept{queryable}@ Env>
-    constexpr @\libconcept{queryable}@ decltype(auto) transform_env(
+  template<class Domain, @\libconcept{sender}@ Sndr, @\exposconcept{queryable}@ Env>
+    constexpr @\exposconcept{queryable}@ decltype(auto) transform_env(
       Domain dom, Sndr&& sndr, Env&& env) noexcept;
 
   // \ref{exec.snd.apply}, sender algorithm application
@@ -666,7 +666,7 @@
   inline constexpr as_awaitable_t as_awaitable{};
 
   // \ref{exec.with.awaitable.senders}
-  template<@\exposconcept{class-type }@Promise>
+  template<@\exposconcept{class-type}@ Promise>
     struct with_awaitable_senders;
 }
 \end{codeblock}
@@ -806,7 +806,7 @@
 
 \mandates
 The type of the expression above satisfies
-\libconcept{queryable}\iref{exec.queryable}.
+\exposconcept{queryable}\iref{exec.queryable}.
 \item
 Otherwise, \tcode{empty_env\{\}}.
 \end{itemize}
@@ -978,15 +978,15 @@
   template<class Sch>
     concept @\deflibconcept{scheduler}@ =
       @\libconcept{derived_from}@<typename remove_cvref_t<Sch>::scheduler_concept, scheduler_t> &&
-      @\libconcept{queryable}@<Sch> &&
+      @\exposconcept{queryable}@<Sch> &&
       requires(Sch&& sch) {
         { schedule(std::forward<Sch>(sch)) } -> @\libconcept{sender}@;
         { auto(get_completion_scheduler<set_value_t>(
             get_env(schedule(std::forward<Sch>(sch))))) }
               -> @\libconcept{same_as}@<remove_cvref_t<Sch>>;
       } &&
       @\libconcept{equality_comparable}@<remove_cvref_t<Sch>> &&
-      @\libconcept{copy_constructible<}@remove_cvref_t<Sch>>;
+      @\libconcept{copy_constructible}@<remove_cvref_t<Sch>>;
 }
 \end{codeblock}
 
@@ -1068,7 +1068,7 @@
     concept @\defexposconcept{valid-completion-for}@ =
       requires (Signature* sig) {
         []<class Tag, class... Args>(Tag(*)(Args...))
-            requires @\libconcept{callable}@<Tag, remove_cvref_t<Rcvr>, Args...>
+            requires @\exposconcept{callable}@<Tag, remove_cvref_t<Rcvr>, Args...>
         {}(sig);
       };
 
@@ -1893,7 +1893,7 @@
   template<class Sndr>
     concept @\defexposconcept{enable-sender}@ =                                     // \expos
       @\exposconcept{is-sender}@<Sndr> ||
-      @\exposconcept{is-awaitable}@<Sndr, @\exposconcept{env-promise}@<empty_env>>;               // \ref{exec.awaitable}
+      @\exposconcept{is-awaitable}@<Sndr, @\exposid{env-promise}@<empty_env>>;               // \ref{exec.awaitable}
 
   template<class Sndr>
     concept @\deflibconcept{sender}@ =
@@ -2341,7 +2341,7 @@
 
 \item
 Otherwise,
-if \tcode{\exposid{is-awaitable}<NewSndr, env-promise<Env>>} is \tcode{true},
+if \tcode{\exposid{is-awaitable}<NewSndr, \exposid{env-promise}<Env>>} is \tcode{true},
 then:
 \begin{codeblock}
 completion_signatures<

source/threads.tex

@@ -709,7 +709,7 @@
   concept @\deflibconcept{unstoppable_token}@ =
     @\libconcept{stoppable_token}@<Token> &&
     requires (const Token tok) {
-      requires @\libconcept{bool_constant<}@(!tok.stop_possible())>::value;
+      requires bool_constant<(!tok.stop_possible())>::value;
     };
 \end{codeblock}