[bind] Delete the essentially-empty [bind] subclause and move its only

contents, [func.bind], up a level. This removes the existing 20.9.9 and renames
20.9.9.1 to 20.9.9. [bind] used to group together other binders, but those
are now in [depr].

Fixes #284.

Author: zygoloid

source/future.tex

@@ -1598,7 +1598,7 @@
 The binders \tcode{binder1st}, \tcode{bind1st},
 \tcode{binder2nd}, and \tcode{bind2nd} are deprecated.
 \enternote The function template
-\tcode{bind}~(\ref{bind}) provides a better
+\tcode{bind}~(\ref{func.bind.bind}) provides a better
 solution.\exitnote
 
 \rSec2[depr.lib.binder.1st]{Class template \tcode{binder1st}}

source/utilities.tex

@@ -7041,7 +7041,7 @@
   template <class Predicate>
     constexpr binary_negate<Predicate> not2(const Predicate&);
 
-  // \ref{bind}, bind:
+  // \ref{func.bind}, bind:
   template<class T> struct is_bind_expression;
   template<class T> struct is_placeholder;
 
@@ -8191,20 +8191,14 @@
 \tcode{binary_negate<Predicate>(pred)}.
 \end{itemdescr}
 
-\rSec2[bind]{Function template \tcode{bind}}
-
-\pnum
-The function template \tcode{bind} returns an object that binds a
-callable object passed as an argument to additional arguments.
-
-\rSec3[func.bind]{Function object binders}%
+\rSec2[func.bind]{Function object binders}%
 \indextext{function object!binders|(}
 
 \pnum
 This subclause describes a uniform mechanism for binding
 arguments of callable objects.
 
-\rSec4[func.bind.isbind]{Class template \tcode{is_bind_expression}}
+\rSec3[func.bind.isbind]{Class template \tcode{is_bind_expression}}
 
 \indexlibrary{\idxcode{is_bind_expression}}%
 \begin{codeblock}
@@ -8228,7 +8222,7 @@
 to have a BaseCharacteristic of \tcode{true_type} to indicate that
 \tcode{T} should be treated as a subexpression in a \tcode{bind} call.
 
-\rSec4[func.bind.isplace]{Class template \tcode{is_placeholder}}
+\rSec3[func.bind.isplace]{Class template \tcode{is_placeholder}}
 
 \indexlibrary{\idxcode{is_placeholder}}%
 \begin{codeblock}
@@ -8254,7 +8248,7 @@
 with \tcode{\textit{N} > 0} to indicate that \tcode{T} should be
 treated as a placeholder type.
 
-\rSec4[func.bind.bind]{Function template \tcode{bind}}
+\rSec3[func.bind.bind]{Function template \tcode{bind}}
 \indexlibrary{\idxcode{bind}|(}
 
 \pnum
@@ -8373,7 +8367,7 @@
 is \tcode{TiD \textit{cv} \&}.
 \end{itemize}
 
-\rSec4[func.bind.place]{Placeholders}
+\rSec3[func.bind.place]{Placeholders}
 
 \indexlibrary{\idxcode{placeholders}}%
 \indexlibrary{1@\tcode{_1}}%

source/xref.tex

@@ -178,7 +178,6 @@
 basic.types\quad\ref{basic.types}\\
 bidirectional.iterators\quad\ref{bidirectional.iterators}\\
 binary.search\quad\ref{binary.search}\\
-bind\quad\ref{bind}\\
 bitmask.types\quad\ref{bitmask.types}\\
 bitset.cons\quad\ref{bitset.cons}\\
 bitset.hash\quad\ref{bitset.hash}\\