Previous Up Next

E.2  Module structure

The general form of a module is:

  1. module definition
  2. module comment or inclusion of a spec file
  3. exported/reexported predicates
  4. used modules
  5. used libraries
  6. local variable definitions
  7. other global operations and settings
  8. predicate definitions

Previous Up Next