-strictly-negative-int/index.html">StrictlyNegativeInt</a></span></span><span class="token punctuation">)</span><span class="token operator">: </span><a href="../-positive-int/index.html">PositiveInt</a></div><div class="symbol monospace"><div class="block"><div class="block"><span class="token annotation builtin">@</span><span data-unresolved-link="org.kotools.types.internal/Since///PointingToDeclaration/"><span class="token annotation builtin">Since</span></span><span class="token punctuation">(</span><sp