Member predicate Generics::TypeParameter::isIn

Holds if this type parameter is contravariant.

predicate isIn()