Lambda the Ultimate

This short article describes how predicates are handled in Modern Eiffel.

In a similar manner as with functions(described in Functions ... ), predicates can be ghost predicates and/or higher order predicates.