An exit code, i.e. an integer between 0 and 126.

Create a new exit code. The string given is used as a description for the exit code. The create code is active by default.

Return the actual integer associated to the code,

Category (used mainly for report documentation).

Return the list of all created error exit codes.

The 0 exit code, signalling everything ran fine.

Unexpected errors. This uses retcode 125 since this is also what cmdliner uses. This code will not appear in the list returned by rrors.

Generic exit code.

Exit code for parsing errors.

Exit codes for typing errors.

Exit with the given code. Note: exit codes can be silenced, in which case the process will exit with an exit code of 0.

Whether an exit code is active.

Make the exit code abort instead of properly exiting.

Make the exit code properly exit.