true_type

typedef integral_constant<bool, true> true_type;

The type is a synonym for a specialization of the template integral_constant.