</span></h1>
  </div>
  <div class="platform-hinted " data-platform-hinted="data-platform-hinted"><div class="content sourceset-dependent-content" data-active="" data-togglable=":types:dokkaHtmlPartial/commonMain"><div class="symbol monospace"><span class="token keyword">val </span><a href="min.html">min</a><span class="token operator">: </span><a href="../../-zero-int/index.html">ZeroInt</a></div><p class="paragraph">The minimum value a <a href="../index.html">PositiveInt</a> can have.</p></div></div>
</di