Front Page / Terminology

# Terminology

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.

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