terward.</p></dd></dl><dl><dt class="spec module" id="module-GotoLabel"><a href="#module-GotoLabel" class="anchor"></a><code><span class="keyword">module</span> <a href="GotoLabel/index.html">GotoLabel</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd><p>Module for translating goto instructions by keeping a map of labels.</p></dd></dl><dl><dt class="spec module" id="module-Loops"><a href="#module-Loops" class="anchor"></a><code><span class="keyword">module</span> <a 