blue.png" class="hover" />
            </a>
          <p>Kills all processes with the given name</p>



        </td>
      </tr>
      <tr>
        <td class="member-name">

          <code onmouseout="hideTip(event, '500', 500)" onmouseover="showTip(event, '500', 500)">
            killProcessById id
          </code>
          <div class="tip" id="500">
            <strong>Signature:</strong> id:int -&gt; unit<br />
                      </div>
        </td>
        <td class="xmldoc">
            <a hre