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

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

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