Implement support for combination of constraint comprehension and selectors
未關閉
- 主要語言
- Rust
- 星號
- 96
- 分支
- 39
- PR 合併指標
- 30 天內沒有已合併 PR
描述
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
```
貢獻指南
評估
這個 Issue 還沒有評估資料。