 13)" onmouseover="showTip(event, '13', 13)">
            ( |Double|_| ) text
          </code>
          <div class="tip" id="13">
            <strong>Signature:</strong>text:string -&gt; float option<br />
                      </div>
        </td>
        <td class="xmldoc">
        
        </td>
      </tr>
      <tr>
        <td class="member-name">

          <code onmouseout="hideTip(event, '14', 14)" onmouseover="showTip(event, '14', 14)">
            ( |Int|_| ) 
          </code>
          <div c