The implementation
provides a definition that has a base characteristic of
true_type if
T is a type returned from
bind,
otherwise it has a base characteristic of
false_type.A program may specialize this template for a program-defined type
T
to have a base characteristic of
true_type to indicate that
T should be treated as a subexpression in a
bind call
.