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-2007 Daniel Diaz Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.
More about the copyright