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 はまだ評価されていません。