2. Intermediate Felix 201

This section mainly deals with the Felix module system.


2.1. The open directive
2.2. The use directive
2.3. Renaming definitions
2.4. Modular inheritance
2.5. Let expression
2.6. Metatyping