Lib.rs

此包是 eiffel 包的一部分。

lib.rs:

此包包含过程宏

主要是过程宏 contract，用于在方法调用前后检查给定的守卫子句是否为真。