Member predicate TypeParameter :: isCovariant
Holds if this type parameter is covariant/is in
.
predicate
isCovariant
(
)