machine-check 的实用机器操作crate

此crate定义了用于正式验证工具 machine-check 的机器操作例程。

使用和兼容性

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

许可证

根据您的选择，许可协议为Apache许可证2.0版或MIT许可证。除非您明确说明，否则您有意提交以包含在此crate中并由您定义的贡献，根据Apache-2.0许可证，将双重许可如上所述，不附加任何其他条款或条件。