The instance of Contravariant for Predicate.

Generated using TypeDoc