Predicate Versions of heap

This content is no longer maintained.

Show: