mirror of
https://github.com/erg-lang/erg.git
synced 2025-09-28 20:14:45 +00:00
7 lines
168 B
Python
7 lines
168 B
Python
# TODO: transition specifications
|
|
dict = pyimport "Dict"
|
|
|
|
.Dict!: ClassType
|
|
.Dict! <: dict.Dict
|
|
.Dict!.
|
|
insert!: |K, V|(self: .Dict!, key: K, value: V) => NoneType
|