.html">NegativeInt</a><span class="delimiter">/</span><span class="current">minus</span></div>
  <div class="cover ">
    <h1 class="cover"><span><span>minus</span></span></h1>
  </div>
  <div class="platform-hinted " data-platform-hinted="data-platform-hinted"><div class="content sourceset-dependent-content" data-active="" data-togglable=":dokkaHtml/jvmMain"><div class="symbol monospace"><span class="token keyword">infix operator </span><span class="token keyword">fun </span><a href="minus.html"><span clas