perties%2F788909594" data-filterable-set=":dokkaHtml/commonMain"></a><div class="symbol monospace"><span class="token keyword"></span><span class="token keyword">val </span><a href="size.html">size</a><span class="token operator">: </span><a href="../../kotools.types.number/-strictly-positive-int/index.html">StrictlyPositiveInt</a></div><div class="brief "><a data-name="276535050%2FProperties%2F788909594" anchor-label="size" id="276535050%2FProperties%2F788909594" data-filterable-set=":dokkaHtml/commonMain"