: <code class="type">unit -> int * string</code></pre><div class="info">
high-level position<br>
</div>
<pre><span id="VALsetHLine"><span class="keyword">val</span> setHLine</span> : <code class="type">int -> unit</code></pre><pre><span id="VALsetHFile"><span class="keyword">val</span> setHFile</span> : <code class="type">string -> unit</code></pre><pre><span id="VALsetCurrentLine"><span class="keyword">val</span> setCurrentLine</span> : <code class="type">int -> unit</code></pre><pre><span id="VALsetCurren