proc `$`(vector: Vector): string {....raises: [Exception], tags: [RootEffect],
                                   forbids: [].}

proc `&=`(left: var Vector; right: sink Vector): void {....raises: [ValueError],
    tags: [], forbids: [].}

proc `[]`(v: Vector; idx: int): Value {....raises: [ValueError], tags: [],
                                        forbids: [].}

proc isValid(vec: Vector; idx: int): bool {.inline, ...raises: [ValueError],
    tags: [], forbids: [].}

proc len(vec: Vector): int {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[bool]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[DecimalType]): Vector {....raises: [], tags: [],
    forbids: [].}

proc newVector(data: seq[float32]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[float64]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[int | int64]): Vector

proc newVector(data: seq[int8]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[int16]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[int32]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[int64]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[Int128]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[seq[byte]]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[seq[Value]]): Vector {....raises: [], tags: [],
    forbids: [].}

proc newVector(data: seq[string]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[Table[string, Value]]): Vector {....raises: [], tags: [],
    forbids: [].}

proc newVector(data: seq[Time]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[TimeInterval]): Vector {....raises: [], tags: [],
    forbids: [].}

proc newVector(data: seq[Timestamp]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[uint8]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[uint16]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[uint32]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[uint64]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[uint]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[Uuid]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(data: seq[ZonedTime]): Vector {....raises: [], tags: [], forbids: [].}

proc newVector(duckVector: duckdb_vector; size: int; offset: int = 0): Vector {.
    ...raises: [ValueError, Exception, KeyError], tags: [RootEffect], forbids: [].}

proc newVector(duckVector: duckdb_vector; size: int; offset: int;
               kind: DuckType; logicalType: LogicalType): Vector {.
    ...raises: [ValueError, Exception, KeyError], tags: [RootEffect], forbids: [].}

proc newVector(kind: DuckType; size: int): Vector {....raises: [ValueError],
    tags: [], forbids: [].}

proc values(vec: Vector; T: typedesc): lent seq[T:type]

proc vecToValue(vec: Vector; idx: int): Value {....raises: [ValueError], tags: [],
    forbids: [].}

iterator items(vec: Vector): Value {....raises: [ValueError], tags: [], forbids: [].}

template `[]=`(vec: duckdb_vector; i: int; val: bool)

template `[]=`(vec: duckdb_vector; i: int; val: string)

template `[]=`[T: SomeNumber](vec: duckdb_vector; i: int; val: T)