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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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