R__Cfg</nav><h1>Module <code>IR__Cfg</code></h1><nav class="toc"><ul><li><a href="#functions-for-manipulating-an-interprocedural-cfg">Functions for manipulating an interprocedural CFG</a></li></ul></nav></header><aside><p>Control Flow Graph for Interprocedural Analysis</p></aside><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = <span><a href="../IR/Procdesc/index.html#type-t">IR.Procdesc.t</a> <a href="../IR__Procname/index.h