| ... | ... | @@ -73,7 +73,7 @@ let condition_2 = tag.value_equals(0); |
|
|
|
vec![condition_1 * constraint_1, condition_2 * constraint_2]
|
|
|
|
```
|
|
|
|
|
|
|
|
关于BinaryNumberChip，详见[here](../code-notes/binary_number_with_real_selector.rs的内容和用法.markdown)。
|
|
|
|
关于BinaryNumberChip，详见[here](../code-notes/binary_number_with_real_selector)。
|
|
|
|
|
|
|
|
### CallContextTag 枚举
|
|
|
|
|
| ... | ... | |
