Allow inbuilt variables as iterables in list and constraint comprehension
Open
- Dominant language
- Rust
- Stars
- 96
- Forks
- 39
- PR merge metrics
- No merged PRs in 30d
Description
The following should be a valid statement:
```
ev check_binary(main: [e]):
enf e^2 - e = 0
enf check_binary([e]) for e in $main[0..3]
```
Contributor guide
Assessment
This issue has not been assessed yet.