FIXUP: Fix indexes, formatting, and obvious wording overlooks.

Author: burblebee

source/utilities.tex

@@ -215,7 +215,7 @@
     };
   template<size_t I> constexpr in_place_index_t<I> in_place_index{};
 
-  // nontype argument tag%
+  // \tcode{nontype} argument tag%
 \indexlibraryglobal{nontype_t}%
 \indexlibraryglobal{nontype}
   template<auto V>
@@ -13443,7 +13443,6 @@
 \returns
 \tcode{true} if \tcode{f} has no target object, otherwise \tcode{false}.
 \end{itemdescr}
-\indextext{function object!wrapper|)}
 
 \rSec3[func.wrap.ref]{Non-owning wrapper}
 
@@ -13461,7 +13460,7 @@
 
 \rSec4[func.wrap.ref.class]{Class template \tcode{function_ref}}
 
-\indexlibraryglobal{move_only_function}%
+\indexlibraryglobal{function_ref}%
 \begin{codeblock}
 namespace std {
   template<class... S> class function_ref;                      // \notdef
@@ -13483,7 +13482,7 @@
     template<class T> function_ref& operator=(T) = delete;
 
     // \ref{func.wrap.ref.inv}, invocation
-    R operator()(ArgTypes...) const noexcept(noex);
+    R operator()(ArgTypes...) const noexcept(@\placeholder{noex}@);
 
   private:
     template<class... T>
@@ -13494,9 +13493,9 @@
   template<class F>
     function_ref(F*) -> function_ref<F>;
   template<auto f>
-    function_ref(nontype_t<f>) -> function_ref<see below>;
+    function_ref(nontype_t<f>) -> function_ref<@\seebelow@>;
   template<auto f>
-    function_ref(nontype_t<f>, auto) -> function_ref<see below>;
+    function_ref(nontype_t<f>, auto) -> function_ref<@\seebelow@>;
 }
 \end{codeblock}
 
@@ -13513,11 +13512,11 @@
 models \libconcept{copyable} and
 is capable of storing a pointer to object value or a pointer to function value.
 The type of \exposid{thunk-ptr} is
-\tcode{R(*)(BoundEntityType, Args\&\&...) noexcept(noex)}.
+\tcode{R(*)(BoundEntityType, Args\&\&...) noexcept(\placeholder{noex})}.
 
 \pnum
 Each specialization of \tcode{function_ref} is
-a trivially copyable type \ref{basic.types} that models \libconcept{copyable}.
+a trivially copyable type\iref{basic.types} that models \libconcept{copyable}.
 
 \pnum
 Within this subclause,
@@ -13623,7 +13622,7 @@
 \pnum
 \effects
 Initializes
-\exposid{bound-entity} with a pointer to unspecified object or
+\exposid{bound-entity} with a pointer to an unspecified object or
 null pointer value, and
 \exposid{thunk-ptr} with the address of a function \tcode{\placeholder{thunk}}
 such that
@@ -13732,7 +13731,6 @@
 
 \rSec4[func.wrap.ref.deduct]{Deduction guides}
 
-\indexlibrarymember{operator()}{function_ref}%
 \begin{itemdecl}
 template<class F>
   function_ref(F*) -> function_ref<F>;
@@ -13744,7 +13742,6 @@
 \tcode{is_function_v<F>} is \tcode{true}.
 \end{itemdescr}
 
-\indexlibrarymember{operator()}{function_ref}%
 \begin{itemdecl}
 template<auto f>
   function_ref(nontype_t<f>) -> function_ref<@\seebelow@>;
@@ -13763,7 +13760,6 @@
 The deduced type is \tcode{function_ref<F>}.
 \end{itemdescr}
 
-\indexlibrarymember{operator()}{function_ref}%
 \begin{itemdecl}
 template<auto f, class T>
   function_ref(nontype_t<f>, T&&) -> function_ref<@\seebelow@>;
@@ -13797,6 +13793,7 @@
 \remarks
 The deduced type is \tcode{function_ref<R(A...) noexcept(E)>}.
 \end{itemdescr}
+\indextext{function object!wrapper|)}
 
 \rSec2[func.search]{Searchers}