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