Like .mangleof, except that it works for an alias template parameter instead of a type.
See Implementation
Like .mangleof, except that it works for an alias template parameter instead of a type.