predicates 3.1.2

An implementation of boolean-valued predicate functions.
Documentation