45;&gt;</span> <a href="index.html#type-trans_result">trans_result</a></code></dt></dl><dl><dt class="spec module" id="module-Nodes"><a href="#module-Nodes" class="anchor"></a><code><span class="keyword">module</span> <a href="Nodes/index.html">Nodes</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd><p>Module for creating cfg nodes and other utility functions related to them.</p></dd></dl><dl><dt class="spec module" id="module-PriorityNode"><a href="#module-PriorityN