 class="token punctuation">)</span></div></div><span class="token keyword">operator </span><span class="token keyword">fun </span><a href="index.html">StrictlyNegativeInt</a><span class="token punctuation">.</span><a href="../unary-minus.html"><span class="token function">unaryMinus</span></a><span class="token punctuation">(</span><span class="token punctuation">)</span><span class="token operator">: </span><a href="../-strictly-positive-int/index.html">StrictlyPositiveInt</a></div><div class="symbol monos