cpp/types/type identity

Provides the member typedef that names  (i.e., the identity transformation).