Most noteworthy, this module includes code to express code contracts, and
defines several generic Exception classes.
Please note that this package is not intended to be used as a third party dependency outside the publishing organization. In particular, no support is provided in case of bugs or limitations.