feat: add type decl files

Author: mtshiba

crates/erg_compiler/lib/pystd/locale.d.er

@@ -0,0 +1,5 @@
+.Error: ClassType
+.Error <: Exception
+
+.setlocale!: (category: Int, locale := Str or Iterable(Str)) => NoneType
+.localeconv: () -> {Str: Int or List(Obj) or Str}

crates/erg_compiler/lib/pystd/secrets.d.er

@@ -0,0 +1,46 @@
+{IntEnum;} = pyimport "enum"
+
+.SIG_DFL: .Signals
+.SIG_IGN: .Signals
+.SIGALRM: .Signals
+.SIGBREAK: .Signals
+.SIGBUS: .Signals
+.SIGCHLD: .Signals
+.SIGCLD: .Signals
+.SIGCONT: .Signals
+.SIGFPE: .Signals
+.SIGHUP: .Signals
+.SIGILL: .Signals
+.SIGINT: .Signals
+.SIGKILL: .Signals
+.SIGPIPE: .Signals
+.SIGSEGV: .Signals
+.SIGSTKFLT: .Signals
+.SIGTERM: .Signals
+.SIGUSR1: .Signals
+.SIGUSR2: .Signals
+.SIGWINCH: .Signals
+.CTRL_C_EVENT: .Signals
+.CTRL_BREAK_EVENT: .Signals
+.NSIG: .Signals
+.ITIMER_REAL: .Signals
+.ITIMER_VIRTUAL: .Signals
+.ITIMER_PROF: .Signals
+.SIG_BLOCK: .Signals
+.SIG_UNBLOCK: .Signals
+.SIG_SETMASK: .Signals
+
+.Signals: ClassType
+.Signals <: IntEnum
+
+.Handlers: ClassType
+.Handlers <: IntEnum
+
+.Sigmasks: ClassType
+.Sigmasks <: IntEnum
+
+.alarm!: (time: Int) => Int
+.getsignal: (signal: .Signals) -> Obj
+.strsignal: (signal: .Signals) -> Str
+.pause!: () => NoneType
+.signal!: (signal: .Signals, handler: GenericCallable) => .Handlers

crates/erg_compiler/lib/pystd/signal.d.er

@@ -0,0 +1,26 @@
+.Trace!: ClassType
+.Trace!.
+    __call__: (
+        count := Nat,
+        trace := Nat,
+        countfuncs := Nat,
+        countcallers := Nat,
+        ignoremods := Iterable(Str),
+        ignoredirs := Iterable(Str),
+        infile := Str,
+        outfile := Str,
+        timing := Bool,
+    ) -> Trace!
+    run!: (self: RefMut(Trace!), cmd: Str) => NoneType
+    results: (self: Ref(Trace!)) -> CoverageResults!
+
+.CoverageResults!: ClassType
+.CoverageResults!.
+    update!: (self: RefMut(CoverageResults!), other: CoverageResults!) => NoneType
+    write_results!: (
+        self: Ref(CoverageResults!),
+        show_missing := Bool,
+        summary := Bool,
+        coverdir := Str,
+        ignore_missing_files := Bool,
+    ) => NoneType

crates/erg_compiler/lib/pystd/trace.d.er

@@ -0,0 +1,5 @@
+.ReferenceType: (T: Type) -> ClassType
+.ReferenceType(T).
+    __call__: (self: .ReferenceType(T)) -> T
+
+.ref: |T|(obj: T) -> ReferenceType T