Format of definitions

## 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

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