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 還沒有評估資料。