Member predicate Type::Type::refersToDirectly

Holds if this type refers to type t directly.

predicate refersToDirectly(Type t)