ata-filterable-set=":dokkaHtml/commonMain"></a>
          <div class="table-row" data-togglable="EXTENSION_FUNCTION" data-filterable-current=":dokkaHtml/commonMain" data-filterable-set=":dokkaHtml/commonMain">
            <div class="main-subrow keyValue ">
              <div class=""><span class="inline-flex">
                  <div><a href="to-strictly-positive-int.html"><span>to</span><wbr><span>Strictly</span><wbr><span>Positive</span><wbr><span><span>Int</span></span></a></div>
<span class="anchor-wrap