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

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

proc getDispatcher(s: PSym): PSym {....raises: [], tags: [], forbids: [].}

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

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

proc relevantCol(methods: seq[PSym]; col: int): bool {....raises: [Exception],
    tags: [RootEffect], forbids: [].}

proc sortBucket(a: var seq[PSym]; relevantCols: IntSet) {....raises: [Exception],
    tags: [RootEffect], forbids: [].}