Mutual Declarations

A declaration associates a name with a term or a module. (Refer to the module system for details about reference and managing the associations in scope.)

Declarations consist of a signature part and a definition part, which may be given separately.

The signature part of a declaration must come before any use of that name.

[Examples]