Implement support for combination of constraint comprehension and selectors
Offen
- Vorherrschende Sprache
- Rust
- Sterne
- 96
- Forks
- 39
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
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
```
Beitragsleitfaden
Bewertung
Dieses Issue wurde noch nicht bewertet.