predicates 3.1.3

An implementation of boolean-valued predicate functions.
Documentation