Copyright © 2002 Cycorp
•
The Basics
•
Arity
•
Argument Types
•
Second-Order Predicates
•
More on Functions
Predicates and Denotational
Functions
Now we’ll talk about argument types in a little more detail.