predicates 3.1.4

An implementation of boolean-valued predicate functions.
Documentation