---

4 Format of definitions

• General format
• Types and modes
• Errors
  • General format and error context
  • Instantiation error
  • Type error
  • Domain error
  • Existence error
  • Permission error
  • Representation error
  • Evaluation error
  • Resource error
  • Syntax error
  • System error

---

Copyright (C) 1999,2000 Daniel Diaz

Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.

More about the copyright

---