proc checkConstructedType(conf: ConfigRef; info: TLineInfo; typ: PType) {.
    ...raises: [Exception, ValueError, KeyError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}

proc eraseVoidParams(t: PType) {....raises: [], tags: [], forbids: [].}

proc generateTypeInstance(p: PContext; pt: LayeredIdTable; info: TLineInfo;
                          t: PType): PType {....raises: [Exception],
    tags: [RootEffect], forbids: [].}

proc initTypeVars(p: PContext; typeMap: LayeredIdTable; info: TLineInfo;
                  owner: PSym): TReplTypeVars {....raises: [], tags: [],
    forbids: [].}

proc instCopyType(cl: var TReplTypeVars; t: PType): PType {.
    ...raises: [KeyError, Exception], tags: [ReadDirEffect, RootEffect],
    forbids: [].}

proc newTypeMapLayer(cl: var TReplTypeVars): LayeredIdTable {....raises: [],
    tags: [], forbids: [].}

proc prepareMetatypeForSigmatch(p: PContext; pt: LayeredIdTable;
                                info: TLineInfo; t: PType): PType {.
    ...raises: [Exception], tags: [RootEffect], forbids: [].}

proc prepareNode(cl: var TReplTypeVars; n: PNode): PNode {.
    ...raises: [Exception, KeyError], tags: [RootEffect], forbids: [].}

proc prepareTypesInBody(p: PContext; pt: LayeredIdTable; n: PNode;
                        owner: PSym = nil): PNode {.
    ...raises: [Exception, KeyError], tags: [RootEffect], forbids: [].}

proc recomputeFieldPositions(t: PType; obj: PNode; currPosition: var int) {.
    ...raises: [], tags: [], forbids: [].}

proc replaceTypesInBody(p: PContext; pt: LayeredIdTable; n: PNode; owner: PSym;
                        allowMetaTypes = false; fromStaticExpr = false;
                        expectedType: PType = nil): PNode {.
    ...raises: [KeyError, Exception, ValueError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}

proc replaceTypeVarsN(cl: var TReplTypeVars; n: PNode; start = 0;
                      expectedType: PType = nil): PNode {.
    ...raises: [KeyError, Exception, ValueError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}

proc replaceTypeVarsT(cl: var TReplTypeVars; t: PType; isInstValue = false): PType {.
    ...raises: [Exception], tags: [RootEffect], forbids: [].}

proc searchInstTypes(g: ModuleGraph; key: PType): PType {.
    ...raises: [KeyError, Exception, ValueError, ERecoverableError],
    tags: [ReadDirEffect, RootEffect], forbids: [].}

proc skipIntLiteralParams(t: PType; idgen: IdGenerator) {....raises: [], tags: [],
    forbids: [].}

template generateTypeInstance(p: PContext; pt: LayeredIdTable; arg: PNode;
                              t: PType): untyped