Implement support for combination of constraint comprehension and selectors
Open
- Dominant language
- Rust
- Stars
- 96
- Forks
- 39
- PR merge metrics
- No merged PRs in 30d
Description
It might be nice to be able to combine constraint comprehension with selectors, e.g.
```
enf is_copied([h[j]]) for j in 0..4 when f_abp
```
Contributor guide
Assessment
This issue has not been assessed yet.