="token keyword">infix operator </span><span class="token keyword">fun </span><a href="times.html"><span class="token function">times</span></a><span class="token punctuation">(</span><span class="parameters "><span class="parameter ">other<span class="token operator">: </span><a href="../-positive-int/index.html">PositiveInt</a></span></span><span class="token punctuation">)</span><span class="token operator">: </span><a href="../-negative-int/index.html">NegativeInt</a></div><div class="symbol monospace">