="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">StrictlyNegativeInt</a></div><div class="brief "><p class="paragraph">Returns a random <a href="../index.html">StrictlyNegativeInt</a>.</p></div></div></div>
              </div>
            </div>
          </div>
        </div>
      </div>
      <h2 class="">Properties</