copyright: string = to(getAttr(pyImport("builtins"), "copyright"), string)

credits: string = to(getAttr(pyImport("builtins"), "credits"), string)

license: string = to(getAttr(pyImport("builtins"), "license"), string)

proc abs(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                 EOFError, KeyError], tags: [RootEffect].}

proc abs(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                     EOFError, KeyError], tags: [RootEffect].}

proc all(iterable: seq[auto]): bool

proc ascii(obj: auto): string

proc bin(x: int): string {....raises: [Exception, ValueError, OSError, IOError,
                                    EOFError, KeyError], tags: [RootEffect].}

proc callable(obj: auto): bool

proc chr(i: int): string {....raises: [Exception, ValueError, OSError, IOError,
                                    EOFError, KeyError], tags: [RootEffect].}

proc delattr(obj: auto; name: string)

proc dir(obj: auto): seq[string]

proc eval(expression: string) {....raises: [Exception, ValueError, OSError,
    IOError, EOFError, KeyError], tags: [RootEffect].}

proc exec(obj: auto)

proc hasattr(obj: auto; name: string): bool

proc hash(obj: auto): int

proc help(obj: auto)

proc hex(obj: auto): string

proc id(obj: auto): int

proc input(prompt: string): string {....raises: [Exception, ValueError, OSError,
    IOError, EOFError, KeyError], tags: [RootEffect].}

proc oct(x: int): string {....raises: [Exception, ValueError, OSError, IOError,
                                    EOFError, KeyError], tags: [RootEffect].}

proc pow(x, y, z: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                       EOFError, KeyError], tags: [RootEffect].}

proc pow(x, y, z: float): float {....raises: [Exception, ValueError, OSError,
    IOError, EOFError, KeyError], tags: [RootEffect].}

proc pow(x, y: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                    EOFError, KeyError], tags: [RootEffect].}

proc pow(x, y: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                        EOFError, KeyError], tags: [RootEffect].}

proc print(obj: auto; sep = ' '; ends = '\n')

proc repr(obj: auto): string

proc round(number: float; ndigits: int): float {.
    ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError],
    tags: [RootEffect].}

proc setattr(obj: auto; name: string; value: auto)

proc sorted(iterable: seq[int]): seq[int] {.
    ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError],
    tags: [RootEffect].}

proc sorted(iterable: seq[char]): seq[char] {.
    ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError],
    tags: [RootEffect].}

proc sorted(iterable: seq[bool]): seq[bool] {.
    ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError],
    tags: [RootEffect].}

proc sorted(iterable: seq[float]): seq[float] {.
    ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError],
    tags: [RootEffect].}

proc sorted(iterable: seq[string]): seq[string] {.
    ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError],
    tags: [RootEffect].}

proc sum(iterable: seq[int]): int {....raises: [Exception, ValueError, OSError,
    IOError, EOFError, KeyError], tags: [RootEffect].}

proc sum(iterable: seq[float]): float {....raises: [Exception, ValueError, OSError,
    IOError, EOFError, KeyError], tags: [RootEffect].}

proc format(value: auto; format_spec: string): string

proc divmod(a, b: int): tuple[quotient, remainder: int] {.
    ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError],
    tags: [RootEffect].}

proc divmod(a, b: float): tuple[quotient, remainder: float] {.
    ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError],
    tags: [RootEffect].}

proc compile(source, filename, mode: string; flags = 0; dont_inherit = false;
             optimize = -1) {....raises: [Exception, ValueError, OSError, IOError,
                                       EOFError, KeyError], tags: [RootEffect].}