_icon.svg" alt="Search" class="svg" onclick="mySearch(false)"></div>
<div id="search_results"></div><div class="toc_title"><a href="#top">Random</a></div><ul><li><a href="#1_Basicfunctions">Basic functions</a></li><li><a href="#1_Advancedfunctions">Advanced functions</a></li></ul></nav></header>

<h1>Module <a href="type_Random.html">Random</a></h1>

<pre><span id="MODULERandom"><span class="keyword">module</span> Random</span>: <code class="code"><span class="keyword">sig</span></code> <a href="Random.html