0xMiden / 0xMiden/air-script

Allow users to combine constraints applied on same selectors

Open
#231 0 comments 1 reaction 0 assignees View on GitHub
Dominant language
Rust
Stars
96
Forks
39
PR merge metrics
No merged PRs in 30d

Description

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_

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.