机器检查的实用宏 crate

此 crate 定义了用于形式化验证工具 machine-check 的过程宏。

使用和兼容性

此 crate 是 machine-check 的实用 crate，不应单独使用。不提供任何兼容性保证。

许可证

许可协议为 Apache License 2.0 或 MIT 许可证，由您选择。除非您明确声明，否则您故意提交的旨在包含在此 crate 中的任何贡献，根据 Apache-2.0 许可证的定义，应按照上述方式双重许可，不附加任何额外条款或条件。