 designate a valid range of <code class="code">src</code>, or if <code class="code">dst_pos</code> and <code class="code">len</code>
    do not designate a valid range of <code class="code">dst</code>.</li>
</ul>
</div>

<pre id="VALconcat">val concat : sep:bytes -&gt; bytes list -&gt; bytes</pre><div class="info ">
<div class="info-desc">
<p><code class="code">concat&nbsp;~sep&nbsp;sl</code> concatenates the list of byte sequences <code class="code">sl</code>,
    inserting the separator byte sequence <cod