cpp/experimental/negation

Forms the logical negation of the type trait.

The type is a  with a base characteristic of.