ode> is <code class="code">0</code> there was not enough space to encode <code class="code">u</code>
    at <code class="code">i</code> and <code class="code">b</code> was left untouched. Otherwise a new character can
    be encoded at <code class="code">i&nbsp;+&nbsp;n</code>.</p>
</div>
</div>

<pre id="VALis_valid_utf_8">val is_valid_utf_8 : t -&gt; bool</pre><div class="info ">
<div class="info-desc">
<p><code class="code">is_valid_utf_8&nbsp;b</code> is <code class="code">true</code> if and only if <co