3. Applicative classes

Felix provides several constructions which are called class constructions (and their C++ representations are typically C++ classes).

Of these, the most commonly used are the two kinds of applicative class: functions and procedures. Objects of these classes are known as closures.
3.1. Defining Functions
3.2. Defining Procedures