Member predicate Types::TypeParameter::isCovariant

Holds if this type parameter is covariant/is in.

predicate isCovariant()