Python项目简述：pycontracts是一个python包，它允许声明函数参数和返回值的约束。可以使用Python注释在装饰器中或在DoScord:Type：和：rType：标签中指定合同。pycontracts支持基本类型系统、变量绑定、算术约束，并且有几个专门的契约（特别是对于numpy数组），以及一个扩展api。