proc cardSet(conf: ConfigRef; a: PNode): BiggestInt {.
    ...raises: [Exception, ERecoverableError], tags: [RootEffect].}

proc complement(conf: ConfigRef; a: PNode): PNode {.
    ...raises: [Exception, ERecoverableError], tags: [RootEffect].}

proc containsSets(conf: ConfigRef; a, b: PNode): bool {.
    ...raises: [Exception, ERecoverableError], tags: [RootEffect].}

proc deduplicate(conf: ConfigRef; a: PNode): PNode {.
    ...raises: [Exception, ERecoverableError], tags: [RootEffect].}

proc diffSets(conf: ConfigRef; a, b: PNode): PNode {.
    ...raises: [Exception, ERecoverableError], tags: [RootEffect].}

proc emptyRange(a, b: PNode): bool {....raises: [ERecoverableError], tags: [].}

proc equalSets(conf: ConfigRef; a, b: PNode): bool {.
    ...raises: [Exception, ERecoverableError], tags: [RootEffect].}

proc inclTreeSet(result: var TBitSetView; conf: ConfigRef; s: PNode) {.
    ...raises: [Exception, ERecoverableError], tags: [RootEffect].}

proc inSet(s: PNode; elem: PNode): bool {....raises: [ERecoverableError], tags: [].}

proc intersectSets(conf: ConfigRef; a, b: PNode): PNode {.
    ...raises: [Exception, ERecoverableError], tags: [RootEffect].}

proc overlap(a, b: PNode): bool {....raises: [ERecoverableError], tags: [].}

proc setHasRange(s: PNode): bool {....raises: [], tags: [].}

proc someInSet(s: PNode; a, b: PNode): bool {....raises: [ERecoverableError],
    tags: [].}

proc symdiffSets(conf: ConfigRef; a, b: PNode): PNode {.
    ...raises: [Exception, ERecoverableError], tags: [RootEffect].}

proc toBitSet(conf: ConfigRef; s: PNode): TBitSet {.
    ...raises: [Exception, ERecoverableError], tags: [RootEffect].}

proc toTreeSet(conf: ConfigRef; s: TBitSetView; settype: PType; info: TLineInfo): PNode {.
    ...raises: [], tags: [].}

proc unionSets(conf: ConfigRef; a, b: PNode): PNode {.
    ...raises: [Exception, ERecoverableError], tags: [RootEffect].}