e-int/index.html">StrictlyPositiveInt</a></div><div class="brief "><a data-name="-396100274%2FProperties%2F788909594" anchor-label="max" id="-396100274%2FProperties%2F788909594" data-filterable-set=":dokkaHtml/commonMain"></a><p class="paragraph">The maximum value a <a href="../index.html">PositiveInt</a> can have.</p></div></div></div>
              </div>
            </div>
          </div>
        </div>
<a data-name="-1603320800%2FProperties%2F788909594" anchor-label="min" id="-1603320800%2FProperties%2