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

proc closeJson(graph: ModuleGraph; p: PPassContext; n: PNode): PNode {....raises: [
    Exception, OSError, KeyError, ValueError, IOError, ERecoverableError,
    OSError, Exception, KeyError, ValueError, ERecoverableError], tags: [
    RootEffect, WriteIOEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect,
    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: [Exception,
    OSError, KeyError, ValueError, IOError, ERecoverableError], tags: [
    RootEffect, WriteIOEffect, ReadEnvEffect, ReadIOEffect, ReadDirEffect,
    WriteDirEffect], forbids: [].}

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