Overloaded name

Overloaded name is a term used in this reference documentation to designate a metafunction providing more than one public interface. In reality, class template overloading is nonexistent and the referenced functionality is implemented by other, unspecified, means.

<reference anonymous="1" name="overloaded name">
    overloaded name

.. |overloaded name| replace:: `overloaded name`__

Concept-identical

A sequence s1 is said to be concept-identical to a sequence s2 if s1 and s2 model the exact same set of concepts.

Bind expression

A bind expression is simply that |--| an instantiation of one of the |bind| class templates. For instance, these are all bind expressions:

bind< quote3<if_>, _1,int,long >
bind< _1, bind< plus<>, int_<5>, _2> >
bind< times<>, int_<2>, int_<2> >

and these are not:

if_< _1, bind< plus<>, int_<5>, _2>, _2 >
protect< bind< quote3<if_>, _1,int,long > >
_2

<reference anonymous="1" name="bind expression">
    bind expression

.. |bind expression| replace:: `bind expression`__

<reference anonymous="1" name="concept-identical">
    concept-identical

.. |concept-identical| replace:: `concept-identical`__