cpp/experimental/reflect/Type

The concept is satisfied if and only if  reflects a type.