---

5 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-2002 Daniel Diaz.

Chapters 9 and 10 : Copyright (C) 2002-2003 INRIA, Rémy Haemmerlé.

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

More about the copyright

---