0xMiden / 0xMiden/air-script

Allow users to combine constraints applied on same selectors

未关闭
#231 0 条评论 1 个 reaction 已指派 0 人 在 GitHub 查看
主要语言
Rust
星标
96
派生
39
PR 合并指标
30 天内没有已合并 PR

描述

Users should be able to combine constraints applied on same selectors. The syntax could look like:

```
enf when a:
apply_constraints([b, c])
apply_other_contraints([d, e, f])
```

_Originally proposed by @bobbinth in https://github.com/0xPolygonMiden/air-script/issues/224#issuecomment-1475633688_

贡献指南

打开贡献指南

评估

这个 Issue 还没有评估数据。

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。