Member predicate Class::isConstructedFrom
Holds if this class, struct or union is constructed from another class as a result of template instantiation. It originates either from a class template, a class nested in a class template, or a template template parameter.
predicate isConstructedFrom(UserType t)