mirror of
https://github.com/erg-lang/erg.git
synced 2025-12-23 05:36:48 +00:00
3 lines
77 B
Python
3 lines
77 B
Python
a as Int or Str or NoneType = 1
|
|
f _: Nat or NoneType or Str = None
|
|
f a # ERR
|