token punctuation">)</span></div></div><span class="token keyword"></span><span class="token keyword">fun </span><a href="random.html"><span class="token function">random</span></a><span class="token punctuation">(</span><span class="token punctuation">)</span><span class="token operator">: </span><a href="../index.html">StrictlyPositiveInt</a></div><div class="brief "><p class="paragraph">Returns a random <a href="../index.html">StrictlyPositiveInt</a>.</p></div></div></div>
                </div>
        