Allow inbuilt variables as iterables in list and constraint comprehension

未关闭

#198 创建于 2023年3月7日 1 条评论 0 个 reaction 已指派 1 人已被 @tohrnii 认领在 GitHub 查看

描述

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]
```

这个 Issue 还没有评估数据。