Member predicate TypeParameter::isOut

Holds if this type parameter is covariant.

predicate isOut()