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

          <code onmouseout="hideTip(event, '177', 177)" onmouseover="showTip(event, '177', 177)">
            [()]
          </code>
          <div class="tip" id="177">
            <strong>Signature:</strong> unit -&gt; int<br />
              <strong>Modifiers:</strong> abstract<br />
                                  </div>
        </