此包是 eiffel 包的一部分。

lib.rs:

Eiffel 启发的守卫子句宏的子模块

此子模块是更大包的一部分，该包提供了受 Eiffel 编程语言守卫子句启发的功能。这些功能包括循环、入口、出口等检查。

此子模块专门提供标准宏，因为主包不能因为 Cargo 的限制而混合标准宏和过程宏。

Eiffel 语言的守卫子句选项是该子模块中宏设计和功能的基础。

请注意，此子模块，就像主包一样，仍在开发中。因此，某些功能可能尚未完全实现，或在未来的更新中可能发生重大变化。

欢迎贡献和反馈。