proc exec(db: PPGconn; query: string; args: JsonNode; columns: seq[Row];
          timeout: int): owned(Future[void]) {....stackTrace: false,
    raises: [Exception, KeyError, DbError, ValueError, OSError],
    tags: [RootEffect, TimeEffect], forbids: [].}

proc exec(db: PPGconn; query: string; args: seq[string]; timeout: int): owned(
    Future[void]) {....stackTrace: false,
                    raises: [Exception, DbError, ValueError, OSError],
                    tags: [RootEffect, TimeEffect], forbids: [].}

proc execGetValue(db: PPGconn; query: string; args: JsonNode; columns: seq[Row];
                  timeout: int): Future[(seq[Row], DbRows)] {....stackTrace: false,
    raises: [Exception, ValueError, KeyError, DbError, OSError],
    tags: [RootEffect, TimeEffect], forbids: [].}

proc getColumns(db: PPGconn; query: string; args: seq[string]; timeout: int): Future[
    seq[string]] {....stackTrace: false,
                   raises: [Exception, ValueError, DbError, OSError],
                   tags: [RootEffect, TimeEffect], forbids: [].}

proc prepare(db: PPGconn; query: string; timeout: int; stmtName: string): Future[
    int] {....stackTrace: false, raises: [Exception, ValueError, DbError, OSError],
           tags: [RootEffect, TimeEffect], forbids: [].}

proc preparedExec(db: PPGconn; args: seq[string]; nArgs: int; timeout: int;
                  stmtName: string): owned(Future[void]) {....stackTrace: false,
    raises: [Exception, DbError, ValueError, OSError],
    tags: [RootEffect, TimeEffect], forbids: [].}

proc preparedQuery(db: PPGconn; args: seq[string]; nArgs: int; timeout: int;
                   stmtName: string): Future[(seq[Row], DbRows)] {.
    ...stackTrace: false, raises: [Exception, ValueError, DbError, OSError],
    tags: [RootEffect, TimeEffect], forbids: [].}

proc query(db: PPGconn; query: string; args: JsonNode; timeout: int): Future[
    (seq[Row], DbRows)] {....stackTrace: false, raises: [Exception, ValueError,
    KeyError, DbError, OSError], tags: [RootEffect, TimeEffect], forbids: [].}

proc query(db: PPGconn; query: string; args: seq[string]; timeout: int): Future[
    (seq[Row], DbRows)] {....stackTrace: false,
                          raises: [Exception, ValueError, DbError, OSError],
                          tags: [RootEffect, TimeEffect], forbids: [].}

proc queryPlain(db: PPGconn; query: string; args: seq[string]; timeout: int): Future[
    seq[Row]] {....stackTrace: false,
                raises: [Exception, ValueError, DbError, OSError],
                tags: [RootEffect, TimeEffect], forbids: [].}

proc rawExec(db: PPGconn; query: string; args: JsonNode; timeout: int): owned(
    Future[void]) {....stackTrace: false,
                    raises: [Exception, DbError, ValueError, OSError],
                    tags: [RootEffect, TimeEffect], forbids: [].}

proc rawQuery(db: PPGconn; query: string; args: JsonNode; timeout: int): Future[
    (seq[Row], DbRows)] {....stackTrace: false,
                          raises: [Exception, ValueError, DbError, OSError],
                          tags: [RootEffect, TimeEffect], forbids: [].}