predicates 2.1.5

An implementation of boolean-valued predicate functions.
Documentation