proc opMapTypeImplToAst(cache: IdentCache; t: PType; info: TLineInfo;
                        idgen: IdGenerator): PNode {.
    ...raises: [ValueError, IOError, KeyError, OSError, Exception],
    tags: [WriteIOEffect, ReadEnvEffect, ReadIOEffect, RootEffect], forbids: [].}

proc opMapTypeInstToAst(cache: IdentCache; t: PType; info: TLineInfo;
                        idgen: IdGenerator; skipAlias = false): PNode {.
    ...raises: [ValueError, IOError, KeyError, OSError, Exception],
    tags: [WriteIOEffect, ReadEnvEffect, ReadIOEffect, RootEffect], forbids: [].}

proc opMapTypeToAst(cache: IdentCache; t: PType; info: TLineInfo;
                    idgen: IdGenerator): PNode {.
    ...raises: [ValueError, IOError, KeyError, OSError, Exception],
    tags: [WriteIOEffect, ReadEnvEffect, ReadIOEffect, RootEffect], forbids: [].}

proc opSlurp(file: string; info: TLineInfo; module: PSym; conf: ConfigRef): string {....raises: [
    OSError, KeyError, Exception, ValueError, IOError, ERecoverableError], tags: [
    ReadDirEffect, ReadIOEffect, RootEffect, WriteIOEffect, ReadEnvEffect],
    forbids: [].}