proc bitsetBasetype(c: var TypesCon; g: var TypeGraph; t: PType): TypeId {.
    ...raises: [Exception, ValueError, KeyError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}

proc initTypesCon(conf: ConfigRef): TypesCon {....raises: [], tags: [], forbids: [].}

proc openArrayPayloadType(c: var TypesCon; g: var TypeGraph; t: PType): TypeId {.
    ...raises: [Exception], tags: [RootEffect], forbids: [].}

proc seqPayloadPtrType(c: var TypesCon; g: var TypeGraph; t: PType): (TypeId,
    TypeId) {....raises: [OSError, Exception], tags: [RootEffect], forbids: [].}

proc strPayloadPtrType(c: var TypesCon; g: var TypeGraph): (TypeId, TypeId) {.
    ...raises: [], tags: [], forbids: [].}

proc typeToIr(c: var TypesCon; g: var TypeGraph; t: PType): TypeId {....raises: [
    Exception, ValueError, KeyError, IOError, ERecoverableError, OSError,
    IllegalTypeRecursionError], tags: [RootEffect, ReadDirEffect, WriteIOEffect,
                                       ReadIOEffect, ReadEnvEffect], forbids: [].}