Source Module

A source module is a human-readable document that describes, sincerely, a variety of types, values, and operations. It is generally a creative work produced by a programmer, though it might be the output of a code generator. A valid source module is a plain text document that contains Unicode code points in the UTF-8 character encoding. A source module that resides within a file system must have a .avail file extension.

References:

• Modules introduction
• See also, the glossary pages for Module and Binary Module