Procs

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

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

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

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

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

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

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

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

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

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

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

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

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

proc replace_history_item(pos: int; line: string) {.
    ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError],
    tags: [RootEffect].}

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

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

proc set_startup_hook(function: auto)

proc set_pre_input_hook(function: auto)

proc set_completer(function: auto)

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

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

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

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

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

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

proc set_completion_display_matches_hook(function: auto)

proc append_history_file(nelements: seq[string]; filename: string) {.
    ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError],
    tags: [RootEffect].}