de class="code"><span class="keyword">sig</span></code> <a href="Clflags.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info module top">
<div class="info-desc">
<p>Command line flags</p>
</div>
</div>
<hr width="100%">

<pre><span id="MODULEInt_arg_helper"><span class="keyword">module</span> <a href="Clflags.Int_arg_helper.html">Int_arg_helper</a></span>: <code class="code"><span class="keyword">sig</span></code> <a href="Clflags.Int_arg_helper.html">..</a> <code c