From 6e1d718d70be0118869b883f41862b9bf1e28eb2 Mon Sep 17 00:00:00 2001
From: Jens Maurer <Jens.Maurer@gmx.net>
Date: Mon, 23 Dec 2024 11:55:46 +0100
Subject: [PATCH] [exec] Add missing \libconcept markup

---
 source/exec.tex | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/source/exec.tex b/source/exec.tex
index ef896feb39..5d00dcb2da 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -1701,7 +1701,7 @@
       return @\exposid{impls-for}@<Tag>::@\exposid{get-attrs}@(data, child...);
     }
 
-    template<@\exposconcept{decays-to}@<@\exposid{basic-sender}@> Self, receiver Rcvr>
+    template<@\exposconcept{decays-to}@<@\exposid{basic-sender}@> Self, @\libconcept{receiver}@ Rcvr>
     auto connect(this Self&& self, Rcvr rcvr) noexcept(@\seebelow@)
       -> @\exposid{basic-operation}@<Self, Rcvr> {
       return {std::forward<Self>(self), std::move(rcvr)};
@@ -1735,7 +1735,7 @@
 \begin{codeblock}
 is_nothrow_move_constructible_v<Rcvr> &&
 @\exposconcept{nothrow-callable}@<decltype(@\exposid{impls-for}@<tag_of_t<Sndr>>::@\exposid{get-state}@), Sndr, Rcvr&> &&
-(same_as<@\exposid{state-type}@<Sndr, Rcvr>, @\exposid{get-state-result}@> ||
+(@\libconcept{same_as}@<@\exposid{state-type}@<Sndr, Rcvr>, @\exposid{get-state-result}@> ||
  is_nothrow_constructible_v<@\exposid{state-type}@<Sndr, Rcvr>, @\exposid{get-state-result}@>)
 \end{codeblock}
 where \exposid{get-state-result} is
@@ -1931,7 +1931,7 @@
 
   template<class Sndr>
     concept @\defexposconcept{is-sender}@ =                                         // \expos
-      derived_from<typename Sndr::sender_concept, sender_t>;
+      @\libconcept{derived_from}@<typename Sndr::sender_concept, sender_t>;
 
   template<class Sndr>
     concept @\defexposconcept{enable-sender}@ =                                     // \expos
@@ -5022,7 +5022,7 @@
 \pnum
 \begin{example}
 \begin{codeblock}
-template<sender Sndr>
+template<@\libconcept{sender}@ Sndr>
 sender auto parameterize_work(Sndr sndr) {
   // Make an environment such that \tcode{get_allocator(env)} returns a reference to a copy of \tcode{my_alloc\{\}}.
   auto e = prop(get_allocator, my_alloc{});
@@ -5075,7 +5075,7 @@
 \pnum
 \begin{example}
 \begin{codeblock}
-template<sender Sndr>
+template<@\libconcept{sender}@ Sndr>
 sender auto parameterize_work(Sndr sndr) {
   // Make an environment such that:
   //   \tcode{get_allocator(env)} returns a reference to a copy of \tcode{my_alloc\{\}}