Member predicate Type :: involvesReference
Holds if this type involves a reference.
predicate
involvesReference
(
)