diff --git a/compiler/erg_compiler/lib/pystd/os.d/__init__.d.er b/compiler/erg_compiler/lib/pystd/os.d/__init__.d.er index a9d3340e..3c3ab046 100644 --- a/compiler/erg_compiler/lib/pystd/os.d/__init__.d.er +++ b/compiler/erg_compiler/lib/pystd/os.d/__init__.d.er @@ -15,3 +15,6 @@ # posix = pyimport "posix" # .uname!: () => posix.UnameResult + +.getrandom!: (size: Nat) => Bytes +.urandom!: (size: Nat) => Bytes diff --git a/compiler/erg_compiler/lib/pystd/os.d/path.d.er b/compiler/erg_compiler/lib/pystd/os.d/path.d.er index e20e9f7d..87caeb25 100644 --- a/compiler/erg_compiler/lib/pystd/os.d/path.d.er +++ b/compiler/erg_compiler/lib/pystd/os.d/path.d.er @@ -1 +1,9 @@ +.dirname!: (path: PathLike,) => Str +.exists!: (path: PathLike,) => Bool +.lexists!: (path: PathLike,) => Bool .expanduser!: (path: PathLike,) => Str +.expandvars!: (path: PathLike,) => Str +.isfile!: (path: PathLike,) => Bool +.isdir!: (path: PathLike,) => Bool +.islink!: (path: PathLike,) => Bool +.ismount!: (path: PathLike,) => Bool