proc cardSet(conf: ConfigRef; a: PNode): BiggestInt {....raises: [Exception,
    ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

proc complement(conf: ConfigRef; a: PNode): PNode {....raises: [Exception,
    ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

proc containsSets(conf: ConfigRef; a, b: PNode): bool {....raises: [Exception,
    ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

proc deduplicate(conf: ConfigRef; a: PNode): PNode {....raises: [Exception,
    ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

proc diffSets(conf: ConfigRef; a, b: PNode): PNode {....raises: [Exception,
    ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

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

proc equalSets(conf: ConfigRef; a, b: PNode): bool {....raises: [Exception,
    ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

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

proc intersectSets(conf: ConfigRef; a, b: PNode): PNode {....raises: [Exception,
    ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

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,
    ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

proc toBitSet(conf: ConfigRef; s: PNode): TBitSet {....raises: [Exception,
    ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

proc toTreeSet(conf: ConfigRef; s: TBitSet; settype: PType; info: TLineInfo): PNode {....raises: [
    Exception, ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}

proc unionSets(conf: ConfigRef; a, b: PNode): PNode {....raises: [Exception,
    ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}