Member predicate Type :: refersToDirectly
Holds if this type refers to type t
directly.
predicate
refersToDirectly
(
Type
t
)