Update xrefs

Author: tkoeppe

source/algorithms.tex

@@ -8719,7 +8719,7 @@
 \pnum
 \expects
 For the first form, \tcode{T} meets the
-\oldconcept{LessThanComparable} requirements (\tref{cpp17.lessthancomparable}).
+\oldconcept{LessThanComparable} requirements\iref{utility.req.cpp17.lessthancomparable}.
 
 \pnum
 \returns
@@ -8761,7 +8761,7 @@
 For the overloads in namespace \tcode{std},
 \tcode{T} meets the \oldconcept{\-Copy\-Constructible} requirements.
 For the first form, \tcode{T} meets the \oldconcept{LessThanComparable}
-requirements (\tref{cpp17.lessthancomparable}).
+requirements\iref{utility.req.cpp17.lessthancomparable}.
 
 \pnum
 \returns
@@ -8797,7 +8797,7 @@
 \pnum
 \expects
 For the first form, \tcode{T} meets the
-\oldconcept{LessThanComparable} requirements (\tref{cpp17.lessthancomparable}).
+\oldconcept{LessThanComparable} requirements\iref{utility.req.cpp17.lessthancomparable}.
 
 \pnum
 \returns
@@ -8839,7 +8839,7 @@
 For the overloads in namespace \tcode{std},
 \tcode{T} meets the \oldconcept{\-Copy\-Constructible} requirements.
 For the first form, \tcode{T} meets the \oldconcept{LessThanComparable}
-requirements (\tref{cpp17.lessthancomparable}).
+requirements\iref{utility.req.cpp17.lessthancomparable}.
 
 \pnum
 \returns
@@ -8877,7 +8877,7 @@
 \pnum
 \expects
 For the first form, \tcode{T} meets the
-\oldconcept{LessThanComparable} requirements (\tref{cpp17.lessthancomparable}).
+\oldconcept{LessThanComparable} requirements\iref{utility.req.cpp17.lessthancomparable}.
 
 \pnum
 \returns
@@ -8920,7 +8920,7 @@
 For the overloads in namespace \tcode{std},
 \tcode{T} meets the \oldconcept{\-Copy\-Constructible} requirements.
 For the first form, type \tcode{T} meets the \oldconcept{LessThanComparable}
-requirements (\tref{cpp17.lessthancomparable}).
+requirements\iref{utility.req.cpp17.lessthancomparable}.
 
 \pnum
 \returns
@@ -9112,7 +9112,7 @@
 \tcode{bool(invoke(comp, invoke(proj, hi), invoke(proj, lo)))} is \tcode{false}.
 For the first form, type \tcode{T}
 meets the \oldconcept{LessThan\-Comparable}
-requirements (\tref{cpp17.lessthancomparable}).
+requirements\iref{utility.req.cpp17.lessthancomparable}.
 
 \pnum
 \returns

source/future.tex

@@ -237,7 +237,7 @@
 \begin{itemdescr}
 \pnum
 \requires
-Type \tcode{T} is \oldconcept{EqualityComparable} (\tref{cpp17.equalitycomparable}).
+Type \tcode{T} is \oldconcept{EqualityComparable}\iref{utility.req.cpp17.equalitycomparable}.
 
 \pnum
 \returns
@@ -252,7 +252,7 @@
 \begin{itemdescr}
 \pnum
 \requires
-Type \tcode{T} is \oldconcept{LessThanComparable} (\tref{cpp17.lessthancomparable}).
+Type \tcode{T} is \oldconcept{LessThanComparable}\iref{utility.req.cpp17.lessthancomparable}.
 
 \pnum
 \returns
@@ -267,7 +267,7 @@
 \begin{itemdescr}
 \pnum
 \requires
-Type \tcode{T} is \oldconcept{LessThanComparable} (\tref{cpp17.lessthancomparable}).
+Type \tcode{T} is \oldconcept{LessThanComparable}\iref{utility.req.cpp17.lessthancomparable}.
 
 \pnum
 \returns
@@ -282,7 +282,7 @@
 \begin{itemdescr}
 \pnum
 \requires
-Type \tcode{T} is \oldconcept{LessThanComparable} (\tref{cpp17.lessthancomparable}).
+Type \tcode{T} is \oldconcept{LessThanComparable}\iref{utility.req.cpp17.lessthancomparable}.
 
 \pnum
 \returns

source/iostreams.tex

@@ -1677,10 +1677,10 @@
 It holds a state object
 whose type is equal to the template parameter \tcode{stateT}.
 Type \tcode{stateT} shall meet
-the \oldconcept{DefaultConstructible} (\tref{cpp17.defaultconstructible}),
+the \oldconcept{DefaultConstructible}\iref{utility.req.cpp17.defaultconstructible},
 \oldconcept{CopyConstructible} (\tref{cpp17.copyconstructible}),
 \oldconcept{CopyAssignable} (\tref{cpp17.copyassignable}), and
-\oldconcept{Destructible} (\tref{cpp17.destructible}) requirements.
+\oldconcept{Destructible}\iref{utility.req.cpp17.destructible} requirements.
 If \tcode{is_trivially_copy_constructible_v<stateT>} is \tcode{true},
 then \tcode{fpos<stateT>} has a trivial copy constructor.
 If \tcode{is_trivially_copy_assignable_v<stateT>} is \tcode{true},
@@ -1692,7 +1692,7 @@
 \oldconcept{CopyConstructible},
 \oldconcept{CopyAssignable},
 \oldconcept{Destructible},
-and \oldconcept{EqualityComparable} (\tref{cpp17.equalitycomparable}) requirements.
+and \oldconcept{EqualityComparable}\iref{utility.req.cpp17.equalitycomparable} requirements.
 In addition, the expressions shown in \tref{fpos.operations}
 are valid and have the indicated semantics.
 In that table,

source/iterators.tex

@@ -2048,7 +2048,7 @@
 \tcode{T}
 if
 \tcode{X} meets the \oldconcept{Iterator}\iref{iterator.iterators} and
-\oldconcept{EqualityComparable} (\tref{cpp17.equalitycomparable}) requirements and
+\oldconcept{EqualityComparable}\iref{utility.req.cpp17.equalitycomparable} requirements and
 the expressions in \tref{inputiterator} are valid and have
 the indicated semantics.
 

source/lib-intro.tex

@@ -1591,14 +1591,14 @@
 The template definitions in the \Cpp{} standard library
 refer to various named requirements whose details are set out in
 subclauses
-\ref{utility.types.req.eqcomp},
-\ref{utility.types.req.ltcomp},
-\ref{utility.types.req.defcons},
-\ref{utility.types.req.movecons},
-\ref{utility.types.req.copycons},
-\ref{utility.types.req.moveass},
-\ref{utility.types.req.copyass}, and
-\ref{utility.types.req.destruct}.
+\ref{utility.req.cpp17.equalitycomparable},
+\ref{utility.req.cpp17.lessthancomparable},
+\ref{utility.req.cpp17.defaultconstructible},
+\ref{utility.req.cpp17.moveconstructible},
+\ref{utility.req.cpp17.copyconstructible},
+\ref{utility.req.cpp17.moveassignable},
+\ref{utility.req.cpp17.copyassignable}, and
+\ref{utility.req.cpp17.destructible}.
 In those subclauses,
 \begin{itemize}
 \item
@@ -1625,7 +1625,7 @@
 \tcode{T()} shall be a well-defined expression\iref{dcl.init} if one of those
 signatures is called using the default argument\iref{dcl.fct.default}.
 
-\rSec3[utility.types.req.eqcomp]{\oldconcept{EqualityComparable} requirement}
+\rSec3[utility.req.cpp17.equalitycomparable]{\oldconcept{EqualityComparable} requirement}
 
 \pnum
 A type \tcode{T} meets the \oldconcept{EqualityComparable} requirement
@@ -1654,7 +1654,7 @@
 \end{itemize}
 \end{itemdescr}
 
-\rSec3[utility.types.req.ltcomp]{\oldconcept{LessThanComparable} requirement}
+\rSec3[utility.req.cpp17.lessthancomparable]{\oldconcept{LessThanComparable} requirement}
 
 \pnum
 A type \tcode{T} meets the \oldconcept{LessThanComparable} requirement
@@ -1674,7 +1674,7 @@
 \tcode{<} is a strict weak ordering relation\iref{alg.sorting}.
 \end{itemdescr}
 
-\rSec3[utility.types.req.defcons]{\oldconcept{DefaultConstructible} requirement}
+\rSec3[utility.req.cpp17.defaultconstructible]{\oldconcept{DefaultConstructible} requirement}
 
 \pnum
 A type \tcode{T} meets the \oldconcept{DefaultConstructible} requirement
@@ -1711,7 +1711,7 @@
 A value-initialized or aggregate-initialized object of type \tcode{T}.
 \end{itemdescr}
 
-\rSec3[utility.types.req.movecons]{\oldconcept{MoveConstructible} requirement}
+\rSec3[utility.req.cpp17.moveconstructible]{\oldconcept{MoveConstructible} requirement}
 
 \pnum
 A type \tcode{T} meets the \oldconcept{MoveConstructible} requirement
@@ -1759,7 +1759,7 @@
 \end{note}
 \end{itemdescr}
 
-\rSec3[utility.types.req.copycons]{\oldconcept{CopyConstructible} requirement}
+\rSec3[utility.req.cpp17.copyconstructible]{\oldconcept{CopyConstructible} requirement}
 
 \pnum
 A type \tcode{T} meets the \oldconcept{CopyConstructible} requirement
@@ -1785,7 +1785,7 @@
 The value of \tcode{v} is unchanged and is equivalent to \tcode{T(v)}.
 \end{itemdescr}
 
-\rSec3[utility.types.req.moveass]{\oldconcept{MoveAssignable} requirement}
+\rSec3[utility.req.cpp17.moveassignable]{\oldconcept{MoveAssignable} requirement}
 
 \pnum
 A type \tcode{T} meets the \oldconcept{MoveAssignable} requirement
@@ -1822,7 +1822,7 @@
 \end{note}
 \end{itemdescr}
 
-\rSec3[utility.types.req.copyass]{\oldconcept{CopyAssignable} requirement}
+\rSec3[utility.req.cpp17.copyassignable]{\oldconcept{CopyAssignable} requirement}
 
 \pnum
 A type \tcode{T} meets the \oldconcept{CopyAssignable} requirement
@@ -1846,7 +1846,7 @@
 \tcode{t}.
 \end{itemdescr}
 
-\rSec3[utility.types.req.destruct]{\oldconcept{Destructible} requirement}
+\rSec3[utility.req.cpp17.destructible]{\oldconcept{Destructible} requirement}
 
 \pnum
 A type \tcode{T} meets the \oldconcept{Destructible} requirement
@@ -2057,7 +2057,7 @@
 \begin{itemize}
 \item it is a function object type\iref{function.objects},
 \item it meets the \oldconcept{CopyConstructible} (\tref{cpp17.copyconstructible}) and
-  \oldconcept{Destructible} (\tref{cpp17.destructible}) requirements, and
+  \oldconcept{Destructible}\iref{utility.req.cpp17.destructible} requirements, and
 \item the expressions shown in \tref{cpp17.hash}
 are valid and have the indicated semantics.
 \end{itemize}

source/memory.tex

@@ -2044,7 +2044,7 @@
 
 \pnum
 If the deleter's type \tcode{D} is not a reference type, \tcode{D} shall meet
-the \oldconcept{Destructible} requirements (\tref{cpp17.destructible}).
+the \oldconcept{Destructible} requirements\iref{utility.req.cpp17.destructible}.
 
 \pnum
 If the \grammarterm{qualified-id} \tcode{remove_reference_t<D>::pointer} is valid and denotes a
@@ -2078,7 +2078,7 @@
 
 \pnum
 \expects
-\tcode{D} meets the \oldconcept{DefaultConstructible} requirements (\tref{cpp17.defaultconstructible}),
+\tcode{D} meets the \oldconcept{DefaultConstructible} requirements\iref{utility.req.cpp17.defaultconstructible},
 and that construction does not throw an exception.
 
 \pnum
@@ -2105,7 +2105,7 @@
 
 \pnum
 \expects
-\tcode{D} meets the \oldconcept{DefaultConstructible} requirements (\tref{cpp17.defaultconstructible}),
+\tcode{D} meets the \oldconcept{DefaultConstructible} requirements\iref{utility.req.cpp17.defaultconstructible},
 and that construction does not throw an exception.
 
 \pnum

source/numerics.tex

@@ -2380,7 +2380,7 @@
 \oldconcept{CopyConstructible} (\tref{cpp17.copyconstructible}),
 \oldconcept{CopyAssignable} (\tref{cpp17.copyassignable}),
 and
-\oldconcept{Equality\-Comp\-arable} (\tref{cpp17.equalitycomparable}) requirements.
+\oldconcept{Equality\-Comp\-arable}\iref{utility.req.cpp17.equalitycomparable} requirements.
 
 \pnum
 For each of the constructors of \tcode{D}

source/strings.tex

@@ -239,10 +239,10 @@
 \pnum
 \expects
 \tcode{state_type} meets the
-\oldconcept{Destructible} (\tref{cpp17.destructible}),
+\oldconcept{Destructible}\iref{utility.req.cpp17.destructible},
 \oldconcept{CopyAssignable} (\tref{cpp17.copyassignable}),
 \oldconcept{CopyConstructible} (\tref{cpp17.copyconstructible}), and
-\oldconcept{DefaultConstructible} (\tref{cpp17.defaultconstructible}) requirements.
+\oldconcept{DefaultConstructible}\iref{utility.req.cpp17.defaultconstructible} requirements.
 \end{itemdescr}
 
 \rSec2[char.traits.specializations]{\tcode{char_traits} specializations}

source/threads.tex

@@ -9652,23 +9652,23 @@
 \pnum
 \tcode{CompletionFunction} shall meet the
 \oldconcept{MoveConstructible} (\tref{cpp17.moveconstructible}) and
-\oldconcept{Destructible} (\tref{cpp17.destructible}) requirements.
+\oldconcept{Destructible}\iref{utility.req.cpp17.destructible} requirements.
 \tcode{is_nothrow_invocable_v<CompletionFunction\&>} shall be \tcode{true}.
 
 \pnum
 The default value of the \tcode{CompletionFunction} template parameter is
 an unspecified type, such that,
 in addition to satisfying the requirements of \tcode{CompletionFunction},
 it meets the \oldconcept{DefaultConstructible}
-requirements (\tref{cpp17.defaultconstructible}) and
+requirements\iref{utility.req.cpp17.defaultconstructible} and
 \tcode{completion()} has no effects.
 
 \pnum
 \tcode{barrier::arrival_token} is an unspecified type,
 such that it meets the
 \oldconcept{MoveConstructible} (\tref{cpp17.moveconstructible}),
 \oldconcept{MoveAssignable} (\tref{cpp17.moveassignable}), and
-\oldconcept{Destructible} (\tref{cpp17.destructible}) requirements.
+\oldconcept{Destructible}\iref{utility.req.cpp17.destructible} requirements.
 
 \indexlibrarymember{max}{barrier}%
 \begin{itemdecl}