tml#module-Hash">IR.Procname.Hash</a>.t</span></code></dt><dd><p>A control-flow graph is a collection of all the CFGs for the procedure names in a file</p></dd></dl><dl><dt class="spec value" id="val-get_all_defined_proc_names"><a href="#val-get_all_defined_proc_names" class="anchor"></a><code><span class="keyword">val</span> get_all_defined_proc_names : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><a href="../IR/Procname/index.html#type-t">IR.Procname.t</a> list</span></code></dt><dd><p>g