Modules generate the following procedures:
●<module_name>_init()
initializes the module. If the module is already active, calling it again re-initializes it. This procedure accepts all the elements that communicate with the module as parameters. Calling the module with these parameters performs the actual-to-formal binding.
● <module_name>_exec()
calls the module and executes either a single or a super step depending on how the module is called.
●
●
●
●