">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="../-strictly-negative-int/index.html">StrictlyNegativeInt</a></div><div class="brief "><p class="paragraph">Subtracts the <a href="minus.html">other</a> value from this <a href="value.html">value</a>.</p></div></div></div>
              </div>
            </div>
          </div>
        </div>
<