proc closeDoc(graph: ModuleGraph; p: PPassContext; n: PNode): PNode {....raises: [
    KeyError, ValueError, IOError, Exception, OSError, ERecoverableError,
    OSError, Exception, KeyError, ValueError, ERecoverableError], tags: [
    WriteIOEffect, ReadDirEffect, RootEffect, ReadEnvEffect, ReadIOEffect,
    WriteDirEffect, ExecIOEffect, TimeEffect], forbids: [].}

proc closeJson(graph: ModuleGraph; p: PPassContext; n: PNode): PNode {....raises: [
    KeyError, ValueError, IOError, Exception, OSError, ERecoverableError,
    OSError, Exception, KeyError, ValueError, ERecoverableError], tags: [
    WriteIOEffect, ReadDirEffect, RootEffect, ReadEnvEffect, ReadIOEffect,
    ExecIOEffect, WriteDirEffect], forbids: [].}

proc openHtml(graph: ModuleGraph; module: PSym; idgen: IdGenerator): PPassContext {....raises: [
    OSError, IOError, Exception, KeyError, ValueError, ERecoverableError], tags: [
    WriteDirEffect, ReadDirEffect, RootEffect, WriteIOEffect, ReadIOEffect,
    ReadEnvEffect], forbids: [].}

proc openJson(graph: ModuleGraph; module: PSym; idgen: IdGenerator): PPassContext {....raises: [
    OSError, IOError, Exception, KeyError, ValueError, ERecoverableError], tags: [
    WriteDirEffect, ReadDirEffect, RootEffect, WriteIOEffect, ReadIOEffect,
    ReadEnvEffect], forbids: [].}

proc openTex(graph: ModuleGraph; module: PSym; idgen: IdGenerator): PPassContext {....raises: [
    OSError, IOError, Exception, KeyError, ValueError, ERecoverableError], tags: [
    WriteDirEffect, ReadDirEffect, RootEffect, WriteIOEffect, ReadIOEffect,
    ReadEnvEffect], forbids: [].}

proc processNode(c: PPassContext; n: PNode): PNode {....raises: [KeyError,
    ValueError, IOError, Exception, OSError, ERecoverableError], tags: [
    WriteIOEffect, ReadDirEffect, RootEffect, ReadEnvEffect, ReadIOEffect,
    WriteDirEffect], forbids: [].}

proc processNodeJson(c: PPassContext; n: PNode): PNode {....raises: [KeyError,
    ValueError, IOError, Exception, OSError, ERecoverableError], tags: [
    WriteIOEffect, ReadDirEffect, RootEffect, ReadEnvEffect, ReadIOEffect,
    WriteDirEffect], forbids: [].}