Declare nested type traits for this type.

Synopsis