Modules

Module

Module

module-constraintsZZ
module         ::= module s module-id module-constraints spec
...

...

Contains test code which can be called when module is called as 'main' or when module is linked in 'test/debug' version.