mirror of
https://github.com/erg-lang/erg.git
synced 2025-12-23 05:36:48 +00:00
8 lines
230 B
Python
8 lines
230 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"
|