machine-check的实用位掩码开关crate

此crate实现了形式验证工具machine-check中定义的位掩码开关宏的内部行为。

使用和兼容性

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

许可证

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