Module Type

It is possible to define types for Subsystems and Modules. These type definitions are made using Annotations. The types for the Modules are "Data", "Program" and "User Defined".

The semantics of these types are:

Data-Module. A Module of this type only exports (like Data-Subsystems) Data, Datatypes and Constants.

Program-Module. This is a "normal" Module (in the original ProMod-PLUS sense) which exports Data, Datatypes, Constants and Functions.

"User Defined" Module. A user-defined string.