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).