Member predicate Type::DerivedType::refersToDirectly

Holds if this type refers to type t directly.

predicate refersToDirectly(Type t)