PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified using Python3 annotations, or inside a docstring. PyContracts supports a basic type system, variables binding, arithmetic constraints, and has several specialized contracts and an extension API.
@AndreaCensi this is a PR that has both of the other 2 (#84 and #81 ) in it (to simplify the merge if you agree to both changes). Thank you in advance!
@AndreaCensi this is a PR that has both of the other 2 (#84 and #81 ) in it (to simplify the merge if you agree to both changes). Thank you in advance!