mirror of
https://github.com/erg-lang/erg.git
synced 2025-12-23 05:36:48 +00:00
7 lines
124 B
Python
7 lines
124 B
Python
.Closed = Subsume Sealed, Additional := {
|
|
foo = (self: Self) -> Int;
|
|
}
|
|
|
|
C = Class()
|
|
C|<: Closed|.
|
|
foo self = 1 # OK
|