Modules

A specification may be decomposed into several modules.

A Module M has the form

• 'module' M
  'use' M₁ , ... , M_n
  'export' E₁ , ... , E_m
  D₁
  ...
  D_d

Items introduced by the declarations D₁, ..., D_d and items exported by modules M₁, ..., M_n are visible in M. E₁, ..., E_m must be items declared in D₁, ..., D_d. They are exported by M, i.e. the can be made visible in other modules.

[NEXT] [PREV]