doc type traits