[meta.trans.other] Use \libglobal for indexing

Author: Eelis

source/meta.tex

@@ -1907,21 +1907,18 @@
 \lhdr{Template}   &   \rhdr{Comments} \\ \capsep
 \endhead
 
-\indexlibraryglobal{type_identity}%
 \tcode{template<class T>\br
- struct type_identity;}
+ struct \libglobal{type_identity};}
  &
  The member typedef \tcode{type} denotes \tcode{T}. \\ \rowsep
 
-\indexlibraryglobal{remove_cvref}%
-\tcode{template<class T>\br struct remove_cvref;}
+\tcode{template<class T>\br struct \libglobal{remove_cvref};}
  &
  The member typedef \tcode{type} denotes
  \tcode{remove_cv_t<remove_reference_t<T>>}.
  \\ \rowsep
 
-\indexlibraryglobal{decay}%
-\tcode{template<class T>\br struct decay;}
+\tcode{template<class T>\br struct \libglobal{decay};}
  &
  Let \tcode{U} be \tcode{remove_reference_t<T>}. If \tcode{is_array_v<U>} is
  \tcode{true}, the member typedef \tcode{type} denotes
@@ -1937,16 +1934,15 @@
 \end{tailnote}
  \\ \rowsep
 
-\indexlibraryglobal{enable_if}%
-\tcode{template<bool B, class T = void>} \tcode{struct enable_if;}
+\tcode{template<bool B, class T = void>} \tcode{struct \libglobal{enable_if};}
  &
  If \tcode{B} is \tcode{true}, the member typedef \tcode{type}
  denotes \tcode{T}; otherwise, there shall be no member
  \tcode{type}. \\ \rowsep
 
 \tcode{template<bool B, class T,}
  \tcode{class F>}\br
- \tcode{struct conditional;}
+ \tcode{struct \libglobal{conditional};}
  &
  If \tcode{B} is \tcode{true},  the member typedef \tcode{type} denotes \tcode{T}.
  If \tcode{B} is \tcode{false}, the member typedef \tcode{type} denotes \tcode{F}. \\ \rowsep
@@ -1959,36 +1955,32 @@
  Each type in the template parameter pack \tcode{T} shall be
  complete, \cv{}~\keyword{void}, or an array of unknown bound. \\ \rowsep
 
-\indexlibraryglobal{basic_common_reference}%
 \tcode{template<class, class,}
  \hspace*{2ex}\tcode{template<class> class,}
  \hspace*{2ex}\tcode{template<class> class>}
  \keyword{struct}
- \hspace*{2ex}\tcode{basic_common_reference;}
+ \hspace*{2ex}\tcode{\libglobal{basic_common_reference};}
  &
  Unless this trait is specialized,
  there shall be no member \tcode{type}. \\ \rowsep
 
-\indexlibraryglobal{common_reference}%
-\tcode{template<class... T>} \tcode{struct common_reference;}
+\tcode{template<class... T>} \tcode{struct \libglobal{common_reference};}
  &
  The member \grammarterm{typedef-name} \tcode{type} is defined or omitted
  as specified below. Each type in the parameter pack \tcode{T} shall
  be complete or \cv{} \keyword{void}. \\ \rowsep
 
-\indexlibraryglobal{underlying_type}%
 \tcode{template<class T>}\br
- \tcode{struct underlying_type;}
+ \tcode{struct \libglobal{underlying_type};}
  &
  If \tcode{T} is an enumeration type, the member typedef \tcode{type} denotes
  the underlying type of \tcode{T}\iref{dcl.enum};
  otherwise, there is no member \tcode{type}.\br
  \mandates \tcode{T} is not an incomplete enumeration type. \\ \rowsep
 
-\indexlibraryglobal{invoke_result}%
 \tcode{template<class Fn,}\br
  \tcode{class... ArgTypes>}\br
- \tcode{struct invoke_result;}
+ \tcode{struct \libglobal{invoke_result};}
  &
  If the expression \tcode{\placeholdernc{INVOKE}(declval<Fn>(), declval<ArgTypes>()...)}\iref{func.require}
  is well-formed when treated as an unevaluated operand\iref{term.unevaluated.operand},
@@ -2009,17 +2001,15 @@
  are complete types, \cv{}~\keyword{void}, or arrays of
  unknown bound.\\ \rowsep
 
-\indexlibraryglobal{unwrap_reference}%
-\tcode{template<class T>} \tcode{struct unwrap_reference;}
+\tcode{template<class T>} \tcode{struct \libglobal{unwrap_reference};}
  &
  If \tcode{T} is
  a specialization \tcode{reference_wrapper<X>} for some type \tcode{X},
  the member typedef \tcode{type} of \tcode{unwrap_reference<T>}
  denotes \tcode{X\&},
  otherwise \tcode{type} denotes \tcode{T}. \\ \rowsep
 
-\indexlibraryglobal{unwrap_ref_decay}%
-\tcode{template<class T>} \tcode{unwrap_ref_decay;}
+\tcode{template<class T>} \tcode{\libglobal{unwrap_ref_decay};}
  &
  The member typedef \tcode{type} of \tcode{unwrap_ref_decay<T>}
  denotes the type \tcode{unwrap_reference_t<decay_t<T>>}.\\