an class="token keyword">fun </span><a href="../-non-zero-int/index.html">NonZeroInt</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="../-non-zero-int/index.html">NonZeroInt</a></div><div class="symbol monospace"><div class="block"><div class="block"><span class="token annotation builtin">@</span><a href="../.