[basic][expr] Declare but not define typedef-names in standard headers

source/basic.tex

@@ -5337,7 +5337,7 @@
 whose properties are specified by
 the \IsoFloatUndated{} 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}.
@@ -5347,7 +5347,7 @@
 whose properties are specified by
 the \IsoFloatUndated{} 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.
 
@@ -5356,7 +5356,7 @@
 whose properties are specified by
 the \IsoFloatUndated{} 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.
 
@@ -5365,7 +5365,7 @@
 whose properties are specified by
 the \IsoFloatUndated{} 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.
 
@@ -5378,7 +5378,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.
 
@@ -5408,7 +5408,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}

source/expressions.tex

@@ -5154,7 +5154,7 @@
 \begin{note}
 A \keyword{sizeof} expression
 is an integral constant expression\iref{expr.const}.
-The type \tcode{std::size_t} is defined in the standard header
+The \grammarterm{typedef-name} \tcode{std::size_t} is declared in the standard header
 \libheader{cstddef}\iref{cstddef.syn,support.types.layout}.
 \end{note}
 
@@ -5173,7 +5173,7 @@
 \begin{note}
 An \keyword{alignof} expression
 is an integral constant expression\iref{expr.const}.
-The type \tcode{std::size_t} is defined in the standard header
+The \grammarterm{typedef-name} \tcode{std::size_t} is declared in the standard header
 \libheader{cstddef}\iref{cstddef.syn,support.types.layout}.
 \end{note}
 
@@ -6435,7 +6435,7 @@
 \indextext{comparison!undefined pointer}%
 When two pointer expressions \tcode{P} and \tcode{Q} are subtracted,
 the type of the result is an \impldef{type of \tcode{ptrdiff_t}} signed
-integral type; this type shall be the same type that is defined as
+integral type; this type shall be the same type that is named by
 \tcode{std::ptrdiff_t} in the \libheader{cstddef}
 header\iref{support.types.layout}.
 \begin{itemize}