yword">sig</span></code> <a href="Random.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info module top">
Pseudo-random number generators (PRNG).<br>
</div>
<hr width="100%">
<br>
<h6 id="6_Basicfunctions">Basic functions</h6><br>

<pre><span id="VALinit"><span class="keyword">val</span> init</span> : <code class="type">int -&gt; unit</code></pre><div class="info ">
Initialize the generator, using the argument as a seed.
     The same seed will always yield the same