 sequence of numbers.<br>
</div>

<pre><span id="VALfull_init"><span class="keyword">val</span> full_init</span> : <code class="type">int array -&gt; unit</code></pre><div class="info ">
Same as <a href="Random.html#VALinit"><code class="code"><span class="constructor">Random</span>.init</code></a> but takes more data as seed.<br>
</div>

<pre><span id="VALself_init"><span class="keyword">val</span> self_init</span> : <code class="type">unit -&gt; unit</code></pre><div class="info ">
Initialize the generato