Predicate that checks if the constructor names of a sum type satisfy P
.
Predicate that checks if a value is equal to U
.
Predicate that checks if the field names of a product type satisfy P
.
Predicate that witnesses that the type of a value is a subtype of U
.
Predicate that witnesses that the type of a value is a supertype of U
.
Module for generic predicates.