
            </a>
          <p>Produces relative path when possible to go from baseLocation to targetLocation.</p>



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

          <code onmouseout="hideTip(event, '615', 615)" onmouseover="showTip(event, '615', 615)">
            ReadFile file
          </code>
          <div class="tip" id="615">
            <strong>Signature:</strong> file:string -&gt; seq&lt;string&gt;<br />
                      </div>
        </td>
        <td class="