Modules

This series provides a comprehensive treatment of the Avail module system.

* indicates that the content for this page has not yet been completed.

• Introduction
• Module Headers
  • Module Name Section
  • Introduced Names Section
  • Entry Points Section
  • Active Versions Section
  • Private Imports Section
  • Extended Imports Section
  • Pragmas Section
• Module Packages
• Module Discovery
• Canonical Names
• Module Renaming
• Module Resolution
• Module Bodies
• Name Resolution
• Feature Visibility
• Module Life Cycle