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

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

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

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

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

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

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