Member predicate Types::TypeParameter::isContravariant

Holds if this type parameter is contravariant/is out.

predicate isContravariant()