">..</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info module top">
<div class="info-desc">
<p>Pseudo-random number generators (PRNG).</p>
</div>
</div>
<hr width="100%">
<h2 id="1_Basicfunctions">Basic functions</h2>
<pre><span id="VALinit"><span class="keyword">val</span> init</span> : <code class="type">int -&gt; unit</code></pre><div class="info ">
<div class="info-desc">
<p>Initialize the generator, using the argument as a seed.
     The same seed will always yield th