yacontracts (pypi): YAContracts: Yet Another contracts package
Keywords: type|checking|value|contracts