>
</div>


<pre id="VALdummy_pos">val dummy_pos : position</pre><div class="info ">
<div class="info-desc">
<p>A value of type <code class="code">position</code>, guaranteed to be different from any
   valid position.</p>
</div>
</div>
<h2 id="1_Lexerbuffers">Lexer buffers</h2>
<pre><span class="keyword">type</span> lexbuf = {</pre><table class="typetable">
<tbody><tr>
<td align="left" valign="top">
<code>&nbsp;&nbsp;</code></td>
<td align="left" valign="top">
<code>refill_buff&nbsp;: lexbuf -&gt; unit;</co