mirror of
https://github.com/erg-lang/erg.git
synced 2025-12-23 05:36:48 +00:00
11 lines
292 B
Python
11 lines
292 B
Python
_: {I: Int | I <= 5} = 4
|
|
_: {I: Int | I < 5} = 4
|
|
_: {I: Int | I < 5 and I != 3} = 4
|
|
_: {I: Int | I < 5 or I != 3} = 4
|
|
_: {I: Int | I < 5 or I != 3 and I != 4} = 4
|
|
|
|
check _: {S: Str | S.replace("abc", "") == ""} = None
|
|
check "abc"
|
|
|
|
dic as Dict({{111}: {222}}) = {111: 222}
|
|
_: {222} = dic[111]
|