nt/index.html">PositiveInt</a></div><div class="brief "><a data-name="-1872653342%2FProperties%2F788909594" anchor-label="sizeOrZero" id="-1872653342%2FProperties%2F788909594" data-filterable-set=":dokkaHtml/commonMain"></a><p class="paragraph">Returns the size of this collection, or returns <a href="../kotools.types.number/-zero-int/index.html">ZeroInt</a> if this collection is <code class="lang-kotlin">null</code>.</p></div></div></div>
              </div>
            </div>
          </div>
        </di