Pre-release
This release is a pre-release and may not be stable for production use.
Annotate function docstrings with pre- and post-conditions, and class/module docstrings with invariants, and this package adds Eiffel-style assertion checks.