feat: add certifi/idna/packaging/six type decl

This commit is contained in:
Shunsuke Shibayama 2023-12-09 20:02:44 +09:00
parent 7cc5500f71
commit 58d3e3ec61
11 changed files with 93 additions and 0 deletions

View file

@ -0,0 +1,13 @@
.PY2: Bool
.PY3: Bool
.class_types: [Type; _]
.intger_types: [Type; _]
.string_types: [Type; _]
.float_types: [Type; _]
.text_type: Type
.binary_type: Type
.MAXSIZE: Nat
.exec_!: (code: Str, globals := {Str: Obj}, locals := {Str: Obj}) => Obj
.print_!: (*objs: [Obj; _], end := Str, sep := Str) => NoneType

View file