From 3c3c44ae1acebf55e4faffdb5c11f85e7d7b3c83 Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Sun, 14 Dec 2025 18:23:18 +0000
Subject: [PATCH] [basic.extended.fp] Replace "typedef-name" with "type alias"

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

diff --git a/source/basic.tex b/source/basic.tex
index a813f68d9c..99a3335fb7 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -5771,7 +5771,7 @@
 If the implementation supports an extended floating-point type\iref{basic.fundamental}
 whose properties are specified by
 the \IsoFloatUndated{} floating-point interchange format binary16,
-then the \grammarterm{typedef-name} \tcode{std::float16_t}
+then the type alias \tcode{std::float16_t}
 is declared in the header \libheaderref{stdfloat} and names such a type,
 the macro \mname{STDCPP_FLOAT16_T} is defined\iref{cpp.predefined}, and
 the floating-point literal suffixes \tcode{f16} and \tcode{F16}
@@ -5781,7 +5781,7 @@
 If the implementation supports an extended floating-point type
 whose properties are specified by
 the \IsoFloatUndated{} floating-point interchange format binary32,
-then the \grammarterm{typedef-name} \tcode{std::float32_t}
+then the type alias \tcode{std::float32_t}
 is declared in the header \libheader{stdfloat} and names such a type,
 the macro \mname{STDCPP_FLOAT32_T} is defined, and
 the floating-point literal suffixes \tcode{f32} and \tcode{F32} are supported.
@@ -5790,7 +5790,7 @@
 If the implementation supports an extended floating-point type
 whose properties are specified by
 the \IsoFloatUndated{} floating-point interchange format binary64,
-then the \grammarterm{typedef-name} \tcode{std::float64_t}
+then the type alias \tcode{std::float64_t}
 is declared in the header \libheader{stdfloat} and names such a type,
 the macro \mname{STDCPP_FLOAT64_T} is defined, and
 the floating-point literal suffixes \tcode{f64} and \tcode{F64} are supported.
@@ -5799,7 +5799,7 @@
 If the implementation supports an extended floating-point type
 whose properties are specified by
 the \IsoFloatUndated{} floating-point interchange format binary128,
-then the \grammarterm{typedef-name} \tcode{std::float128_t}
+then the type alias \tcode{std::float128_t}
 is declared in the header \libheader{stdfloat} and names such a type,
 the macro \mname{STDCPP_FLOAT128_T} is defined, and
 the floating-point literal suffixes \tcode{f128} and \tcode{F128} are supported.
@@ -5812,7 +5812,7 @@
 precision in bits ($p$) of 8,
 maximum exponent ($emax$) of 127, and
 exponent field width in bits ($w$) of 8, then
-the \grammarterm{typedef-name} \tcode{std::bfloat16_t}
+the type alias \tcode{std::bfloat16_t}
 is declared in the header \libheader{stdfloat} and names such a type,
 the macro \mname{STDCPP_BFLOAT16_T} is defined, and
 the floating-point literal suffixes \tcode{bf16} and \tcode{BF16} are supported.