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

Update __init__.d.er

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-07-12 23:26:54 +09:00
parent 1cd1662837
commit f65e3acaf3
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/erg_compiler/lib/pystd/os.d/__init__.d.er
View file

@ -10,7 +10,7 @@ The name of the operating system dependent module imported. The following names
.chdir!: (path: PathLike, ) => NoneType
.chmod!: (path: PathLike, mode: Nat) => NoneType
.getcwd!: () => Str
.getenv!: (key: Str, default: Str or NoneType := NoneType) => Str
.getenv!: |D <: Str or NoneType|(key: Str, default: D := NoneType) => Str or D
.listdir!: (path := PathLike,) => [Str; _]
.mkdir!: (path: PathLike, mode := Nat) => NoneType
.putenv!: (key: Str, value: Str) => NoneType