Type

error-code

Error codes.

In theory, every API can return any error code. In practice, API's typically only return the errors documented per API combined with a couple of errors that are always possible:

unknown
access-denied
not-supported
out-of-memory
concurrency-conflict

See each individual API for what the POSIX equivalents are. They sometimes differ per API.

type error-code = error-code;