ken keyword"></span><span class="token keyword">fun </span><a href="to-positive-int.html"><span class="token function">toPositiveInt</span></a><span class="token punctuation">(</span><span class="token punctuation">)</span><span class="token operator">: </span><a href="../-positive-int/index.html">PositiveInt</a></div><p class="paragraph">Returns this <a href="value.html">value</a> as a positive int.</p></div></div>
</div>
      <div class="footer">
        <span class="go-to-top-icon"><a href="#content" id