">sig</span> ... <span class="keyword">end</span></code></div><div class="spec module" id="module-Check"><a href="#module-Check" class="anchor"></a><code><span class="keyword">module</span> <a href="Check/index.html">Check</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><dl><dt class="spec type" id="type-get_formals"><a href="#type-get_formals" class="anchor"></a><code><span class="keyword">type</span> get_formals</code><code> = <a href="../IR/Procname/index.html#type