[basic.extended.fp] Use "declared" for typedef-names

Author: frederick-vs-ja

source/basic.tex

@@ -5199,7 +5199,7 @@
 whose properties are specified by
 the ISO/IEC/IEEE 60559 floating-point interchange format binary16,
 then the \grammarterm{typedef-name} \tcode{std::float16_t}
-is defined in the header \libheaderref{stdfloat} and names such a type,
+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}
 are supported\iref{lex.fcon}.
@@ -5209,7 +5209,7 @@
 whose properties are specified by
 the ISO/IEC/IEEE 60559 floating-point interchange format binary32,
 then the \grammarterm{typedef-name} \tcode{std::float32_t}
-is defined in the header \libheader{stdfloat} and names such a type,
+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.
 
@@ -5218,7 +5218,7 @@
 whose properties are specified by
 the ISO/IEC/IEEE 60559 floating-point interchange format binary64,
 then the \grammarterm{typedef-name} \tcode{std::float64_t}
-is defined in the header \libheader{stdfloat} and names such a type,
+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.
 
@@ -5227,7 +5227,7 @@
 whose properties are specified by
 the ISO/IEC/IEEE 60559 floating-point interchange format binary128,
 then the \grammarterm{typedef-name} \tcode{std::float128_t}
-is defined in the header \libheader{stdfloat} and names such a type,
+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.
 
@@ -5240,7 +5240,7 @@
 maximum exponent ($emax$) of 127, and
 exponent field width in bits ($w$) of 8, then
 the \grammarterm{typedef-name} \tcode{std::bfloat16_t}
-is defined in the header \libheader{stdfloat} and names such a type,
+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.
 
@@ -5270,7 +5270,7 @@
 \recommended
 Any names that the implementation provides for
 the extended floating-point types described in this subsection
-that are in addition to the names defined in the \libheader{stdfloat} header
+that are in addition to the names declared in the \libheader{stdfloat} header
 should be chosen to increase compatibility and interoperability
 with the interchange types
 \tcode{_Float16}, \tcode{_Float32}, \tcode{_Float64}, and \tcode{_Float128}