Member predicate TypeParameter :: isContravariant
Holds if this type parameter is contravariant/is out
.
predicate
isContravariant
(
)