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