mirror of
https://github.com/erg-lang/erg.git
synced 2025-12-23 05:36:48 +00:00
3 lines
96 B
Python
3 lines
96 B
Python
a as Eq and Hash and Show and Add(Str) = "a"
|
|
f _: Ord and Eq and Show and Hash = None
|
|
f a # ERR
|