Rust 的类型级逻辑

该软件包提供了在 Rust 中编写类型级代码的各种原语。它大量使用了 type-operators 软件包，并提供了强强制和弱强制版本的数值逻辑、布尔逻辑和其他有用组件。

当前特性

• 无符号整数（使用三进制表示法）
• 有符号整数（使用平衡三进制表示法）
• 布尔逻辑

计划中的特性

• 类型级列表和集合

文档

许可证

根据您的选择，许可如下

• Apache 许可证 2.0 版，(LICENSE-APACHE 或 http://www.apache.org/licenses/LICENSE-2.0)
• MIT 许可证 (LICENSE-MIT 或 http://opensource.org/licenses/MIT)

。

贡献

除非您明确说明，否则您根据 Apache-2.0 许可证定义的、有意提交以包含在作品中并由您提交的任何贡献，将根据上述许可双重许可，不附加任何额外条款或条件。