Package-level declarations

A_Module is an interface that specifies the module-specific operations that an AvailObject must implement. It's a sub-interface of A_BasicObject, the interface that defines the behavior that all AvailObjects are required to support.

A module is the mechanism by which Avail code is organized. Modules are parsed from files with the extension ".avail" which contain information about: