Member predicate Generics::TypeParameter::isOut

Holds if this type parameter is covariant.

predicate isOut()