Copyright © 2002 Cycorp
•The Basics
•Arity
•Argument Types
•Second-Order Predicates
•More on Functions
Predicates and Denotational Functions
Now we’re going on to the second of the five lessons in this section.  I will introduce arity, which you’ve already seen, and we’ll delve into it in more detail.