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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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