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 还没有评估数据。