Implement support for combination of constraint comprehension and selectors
Abierto
- Lenguaje dominante
- Rust
- Estrellas
- 96
- Forks
- 39
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
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
```
Guía de contribución
Evaluación
Este issue todavía no se ha evaluado.