predicates 2.1.1

An implementation of boolean-valued predicate functions.
Documentation