ml"><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="../-strictly-positive-int/index.html">StrictlyPositiveInt</a></span></span><span class="token punctuation">)</span><span class="token operator">: </span><a href="index.html">NonZeroInt</a></div><div class="brief "><p class="paragraph">Multiplies this <a href="value.html">value</a> by the <a href="times.html">other</a> 