From 241ac01b4ed822b370d40377a752fa60e6f2d128 Mon Sep 17 00:00:00 2001
From: Eelis van der Weegen <eelis@eelis.net>
Date: Sun, 28 Jul 2024 08:14:15 +0200
Subject: [PATCH] [exec] Use appropriate macros for concept references

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

diff --git a/source/exec.tex b/source/exec.tex
index 6d5203e207..d08f145304 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -155,7 +155,7 @@
 
 \pnum
 Let \tcode{env} be an object of type \tcode{Env}.
-The type \tcode{Env} models queryable
+The type \tcode{Env} models \exposconcept{queryable}
 if for each callable object \tcode{q} and a pack of subexpressions \tcode{args},
 if \tcode{requires \{ q(env, args...) \}} is \tcode{true} then
 \tcode{q(env, args...)} meets any semantic requirements imposed by \tcode{q}.
@@ -2683,11 +2683,11 @@
 
 \pnum
 A \defnadj{pipeable}{sender adaptor closure object} is a function object
-that accepts one or more \tcode{sender} arguments and returns a \tcode{sender}.
+that accepts one or more \libconcept{sender} arguments and returns a \libconcept{sender}.
 For a pipeable sender adaptor closure object \tcode{c} and
 an expression \tcode{sndr}
-such that \tcode{decltype((sndr))} models \tcode{sender},
-the following expressions are equivalent and yield a \tcode{sender}:
+such that \tcode{decltype((sndr))} models \libconcept{sender},
+the following expressions are equivalent and yield a \libconcept{sender}:
 \begin{codeblock}
 c(sndr)
 sndr | c
@@ -2720,7 +2720,7 @@
 if \tcode{T} models \tcode{\libconcept{derived_from}<sender_adaptor_closure<T>>},
 \tcode{T} has no other base classes
 of type \tcode{sender_adaptor_closure<U>} for any other type \tcode{U}, and
-\tcode{T} does not satisfy \tcode{sender}.
+\tcode{T} does not satisfy \libconcept{sender}.
 
 \pnum
 The template parameter \tcode{D} for \tcode{sender_adaptor_closure} can be
@@ -2735,8 +2735,8 @@
 
 \pnum
 A \defnadj{pipeable}{sender adaptor object} is a customization point object
-that accepts a \tcode{sender} as its first argument and
-returns a \tcode{sender}.
+that accepts a \libconcept{sender} as its first argument and
+returns a \libconcept{sender}.
 If a pipeable sender adaptor object accepts only one argument,
 then it is a pipeable sender adaptor closure object.
 
@@ -5005,7 +5005,7 @@
 
 \pnum
 \exposid{run-loop-scheduler} is an unspecified type
-that models \tcode{scheduler}.
+that models \libconcept{scheduler}.
 
 \pnum
 Instances of \exposid{run-loop-scheduler} remain valid
@@ -5028,7 +5028,7 @@
 
 \pnum
 \exposid{run-loop-sender} is an exposition-only type
-that satisfies \tcode{sender}.
+that satisfies \libconcept{sender}.
 For any type \tcode{Env},
 \tcode{completion_signatures_of_t<\exposid{run-loop-sender}, Env>} is
 \begin{codeblock}