1 个不稳定版本
| 0.1.0 | 2023 年 1 月 12 日 |
|---|
#5 in #witness
23KB
426 代码行（不含注释）
numwit
用于Positive或Negative类型的数字（但非零）的见证类型和操作。
| 操作 | 左侧 | 右侧 | 输出 | 可赋值？ |
|---|---|---|---|---|
| 加 | 正数 |
正数 |
正数 |
是 |
负数 |
负数 |
负数 |
是 | |
正数 |
负数 |
? | 否 | |
负数 |
正数 |
? | 否 | |
正数 |
实现 无符号 |
正数 |
是 | |
负数 |
实现 无符号 |
? | 否 | |
| 减 | 正数 |
正数 |
? | 否 |
负数 |
负数 |
? | 否 | |
正数 |
负数 |
正数 |
是 | |
负数 |
正数 |
负数 |
是 | |
正数 |
实现 无符号 |
? | 否 | |
负数 |
实现 无符号 |
负数 |
是 | |
| 乘 | 正数 |
正数 |
正数 |
是 |
负数 |
负数 |
正数 |
否 | |
正数 |
负数 |
负数 |
否 | |
负数 |
正数 |
负数 |
是 | |
正数 |
实现 无符号 |
? | 否 | |
负数 |
实现 无符号 |
? | 否 | |
| 除 | 正数 |
正数 |
正数 |
是 |
负数 |
负数 |
正数 |
否 | |
正数 |
负数 |
负数 |
否 | |
负数 |
正数 |
负数 |
是 | |
正数 |
实现 无符号 |
正数 |
是 | |
负数 |
实现 无符号 |
负数 |
是 | |
| 取负 | 正数 |
负数 |
||
负数 |
正数 |
许可证：MIT 或 Apache-2.0
依赖
~0.8–1.5MB
~32K SLoC