From 12595ca71e26b0a1c0e9d0400f098901d28b7048 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20K=C3=B6ppe?= <tkoeppe@google.com>
Date: Thu, 6 Nov 2025 16:20:43 -1000
Subject: [PATCH] [utilities] Use "Result:" element in \itemdescrs of types to
 describe the type.

This replaces the use of the ad-hoc element "Type:" in three places with "Result:",
and adds "Result:" in other cases that didn't have an element at all.
---
 source/utilities.tex | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/source/utilities.tex b/source/utilities.tex
index 6d3aef2b04..a635753add 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -1408,7 +1408,7 @@
 $\tcode{I} < 2$.
 
 \pnum
-\ctype
+\result
 The type \tcode{T1} if \tcode{I} is 0, otherwise the type \tcode{T2}.
 \end{itemdescr}
 
@@ -2788,7 +2788,7 @@
 $\tcode{I} < \tcode{sizeof...(Types)}$.
 
 \pnum
-\ctype
+\result
 \tcode{TI} is the
 type of the $\tcode{I}^\text{th}$ element of \tcode{Types},
 where indexing is zero-based.
@@ -3076,6 +3076,9 @@
 \tcode{tuple<common_reference_t<TQual<TTypes>, UQual<UTypes>>...>}
 denotes a type.
 \end{itemize}
+
+\pnum
+\result
 The member \grammarterm{typedef-name} \tcode{type} denotes the type
 \tcode{tuple<common_reference_t<TQual<TTypes>, \linebreak{}UQual<UTypes>>...>}.
 \end{itemdescr}
@@ -3104,7 +3107,10 @@
 \item
 \tcode{tuple<common_type_t<TTypes, UTypes>...>} denotes a type.
 \end{itemize}
-The member \grammarterm{typedef-name} \tcode{type} denotes the type
+
+\pnum
+\result
+The member \grammarterm{typedef-name} \tcode{type} denotes the type\\
 \tcode{tuple<common_type_t<TTypes, UTypes>...>}.
 \end{itemdescr}
 
@@ -6508,7 +6514,7 @@
 $\tcode{I} < \tcode{sizeof...(Types)}$.
 
 \pnum
-\ctype
+\result
 The type $\tcode{T}_I$.
 \end{itemdescr}