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

          <code onmouseout="hideTip(event, '7', 7)" onmouseover="showTip(event, '7', 7)">
            using file f
          </code>
          <div class="tip" id="7">
            <strong>Signature:</strong> file:string -&gt; f:(unit -&gt; &#39;?8675) -&gt; &#39;?8675<br />
                          <strong>Type parameters:</strong> '?8675                      </div>
        </td>
        <td class="xmldoc">
                      <a href="https://gith