0xMiden / 0xMiden/air-script

Allow users to combine constraints applied on same selectors

Abierto
#231 0 comentarios 1 reacción 0 asignados Ver en GitHub
Lenguaje dominante
Rust
Estrellas
96
Forks
39
Métricas de merge de PR
Sin PR fusionados en 30 d

Descripción

Users should be able to combine constraints applied on same selectors. The syntax could look like:

```
enf when a:
apply_constraints([b, c])
apply_other_contraints([d, e, f])
```

_Originally proposed by @bobbinth in https://github.com/0xPolygonMiden/air-script/issues/224#issuecomment-1475633688_

Guía de contribución

Abrir la guía de contribución

Evaluación

Este issue todavía no se ha evaluado.

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.