language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 18:58:30 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: remove clone method

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-02-24 00:27:13 +09:00
parent c9438f215a
commit 47818e431e
3 changed files with 7 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/erg_compiler/lib/core.d/Obj.d.er
View file

@ -2,7 +2,7 @@
.Obj.
__dict__: {Str: .Obj}
__module__: Str
clone: |T <: .Obj|(self: T) -> T
__hash__: (self: .Obj) -> Int
__bytes__: (self: .Obj) -> Bytes
__repr__: (self: .Obj) -> Str
__sizeof__: (self: .Obj) -> Nat