This module provides a collection of decorators for
writing software using contracts.

Contracts are a debugging and verification tool. They are declarative
statements about what states a program must be in to be considered
"correct" at runtime. They are similar to assertions, and are verified
automatically at various well-defined points in the program. Contracts can
be specified on functions and on classes.