HANDBOOK / GENTLE PRIMER / Organizing Larger Projects /

# The Module Name

A module has a unique name (an identifier). If the name of a module is `Mod`, then the corresponding file must have the name `Mod.g` .

The module name is introduced by a name clause of the form

       'module' Mod

where `Mod` is the name of the module.

If the name clause is missing, the module name is determined by the file name (this style should only be used for single-module specifications).