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

WIP

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-08-17 16:43:26 +09:00
parent ea0089f7df
commit 9454896d5a
8 changed files with 177 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/erg_compiler/lib/pystd/shutil.d.er
View file

@ -3,7 +3,7 @@
.copyfile!: (src: PathLike, dst: PathLike,) => NoneType
.copy!: (src: PathLike, dst: PathLike,) => NoneType
.copytree!: (src: PathLike, dst: PathLike,) => NoneType
.disk_usage!: (path: PathLike,) => {
.disk_usage!: (path: PathLike,) => NamedTuple {
.total = Nat
.used = Nat
.free = Nat