proc bitSetCard(x: TBitSet): BiggestInt {....raises: [], tags: [], forbids: [].}

proc bitSetContains(x, y: TBitSet): bool {....raises: [], tags: [], forbids: [].}

proc bitSetDiff(x: var TBitSet; y: TBitSet) {....raises: [], tags: [], forbids: [].}

proc bitSetEquals(x, y: TBitSet): bool {....raises: [], tags: [], forbids: [].}

proc bitSetExcl(x: var TBitSet; elem: BiggestInt) {....raises: [], tags: [],
    forbids: [].}

proc bitSetIn(x: TBitSet; e: BiggestInt): bool {....raises: [], tags: [],
    forbids: [].}

proc bitSetIncl(x: var TBitSet; elem: BiggestInt) {....raises: [], tags: [],
    forbids: [].}

proc bitSetInit(b: var TBitSet; length: int) {....raises: [], tags: [], forbids: [].}

proc bitSetIntersect(x: var TBitSet; y: TBitSet) {....raises: [], tags: [],
    forbids: [].}

proc bitSetSymDiff(x: var TBitSet; y: TBitSet) {....raises: [], tags: [],
    forbids: [].}

proc bitSetToWord(s: TBitSet; size: int): BiggestUInt {....raises: [], tags: [],
    forbids: [].}

proc bitSetUnion(x: var TBitSet; y: TBitSet) {....raises: [], tags: [], forbids: [].}