R__Typ</nav><h1>Module <code>IR__Typ</code></h1><p>The Smallfoot Intermediate Language: Types</p></header><div class="spec module" id="module-F"><a href="#module-F" class="anchor"></a><code><span class="keyword">module</span> F = Stdlib.Format</code></div><div class="spec module" id="module-IntegerWidths"><a href="#module-IntegerWidths" class="anchor"></a><code><span class="keyword">module</span> <a href="IntegerWidths/index.html">IntegerWidths</a> : <span class="keyword">sig</span> ... <span class="keyword