proc generateIfMethodDispatchers(g: ModuleGraph; idgen: IdGenerator) {....raises: [
    KeyError, ValueError, Exception, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect, WriteIOEffect],
    forbids: [].}

proc genIfDispatcher(g: ModuleGraph; methods: seq[PSym]; relevantCols: IntSet;
                     idgen: IdGenerator): PSym {....raises: [KeyError, ValueError,
    Exception, OSError, IOError, ERecoverableError], tags: [RootEffect,
    ReadEnvEffect, ReadIOEffect, ReadDirEffect, WriteIOEffect], forbids: [].}

proc getDispatcher(s: PSym): PSym {....raises: [KeyError, ValueError, Exception,
    OSError], tags: [RootEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect],
                                    forbids: [].}

proc methodCall(n: PNode; conf: ConfigRef): PNode {....raises: [KeyError,
    ValueError, Exception, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect, WriteIOEffect],
    forbids: [].}

proc methodDef(g: ModuleGraph; idgen: IdGenerator; s: PSym) {....raises: [KeyError,
    ValueError, Exception, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect, WriteIOEffect],
    forbids: [].}

proc relevantCol(methods: seq[PSym]; col: int): bool {.
    ...raises: [KeyError, ValueError, Exception, OSError],
    tags: [RootEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect], forbids: [].}

proc sortBucket(a: var seq[PSym]; relevantCols: IntSet) {.
    ...raises: [KeyError, ValueError, Exception, OSError],
    tags: [RootEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect], forbids: [].}