Modules are declared similarly as classes. Their declaration include:

• A name
• An optional list of attribute
• An optional list of class/interfaces that are extended/ implemented
• An instantiation declaration

Modules are declared in XL with the keyword module (different from the java keyword module).

module A(int attr1, Object attr2) extends N ==> ;